Divooka 中的逻辑编程

Divooka 支持使用 Prolog 进行逻辑编程。