uhb*_*f19 10 programming-languages logic-programming
有没有好的非Prolog或Prolog的逻辑编程语言？
谁拥有或有任何良好的经验？
acf*_*zer 7
我强烈推荐Dan Friedman,Oleg Kiselyov和Will Byrd的The Reasoned Schemer.它介绍了miniKanren,一种在Scheme上构建的小型(三核运算符)逻辑编程语言.使用matche起来很愉快,尤其是允许统一模式匹配的宏.
matche
小智 7
答案集编程是一种非常强大的逻辑编程范例.我在clasp/clingo答案集求解器上取得了很大的成功.
归档时间：
14 年，6 月 前
查看次数：
991 次
最近记录：
13 年，8 月 前