非Prolog逻辑编程

Question

有没有好的非Prolog或Prolog的逻辑编程语言？

谁拥有或有任何良好的经验？

Answer 1

我强烈推荐Dan Friedman,Oleg Kiselyov和Will Byrd的The Reasoned Schemer.它介绍了miniKanren,一种在Scheme上构建的小型(三核运算符)逻辑编程语言.使用matche起来很愉快,尤其是允许统一模式匹配的宏.

Answer 2

答案集编程是一种非常强大的逻辑编程范例.我在clasp/clingo答案集求解器上取得了很大的成功.