Scheme 球拍中的约束逻辑程序设计
可以在球拍上做吗？例如，这些问题可以在Racket:中解决，还是可以在此页面上解决SENDMORE问题：。我在这些页面上也找不到Racket和Scheme:Scheme 球拍中的约束逻辑程序设计,scheme,racket,constraint-programming,Scheme,Racket,Constraint Programming,可以在球拍上做吗？例如，这些问题可以在Racket:中解决，还是可以在此页面上解决SENDMORE问题：。我在这些页面上也找不到Racket和Scheme: 我看到了minikanren：但找不到真正的例子 有约束编程的例子，在结构和解释的计算机程序使用方案。所以它可以在球拍中完成。参见并遵循数字电路模拟器。Kanren是“关系编程”。在Youtube上搜索。有许多讲座演示了如何在Scheme或Close中使用Kanren。请注意，Racket附带了和用于逻辑编程。Rosette支持多个SMT解
我看到了minikanren：但找不到真正的例子 有约束编程的例子，在结构和解释的计算机程序使用方案。所以它可以在球拍中完成。参见并遵循数字电路模拟器。Kanren是“关系编程”。在Youtube上搜索。有许多讲座演示了如何在Scheme或Close中使用Kanren。请注意，Racket附带了和用于逻辑编程。Rosette支持多个SMT解算器以及CPLEX混合整数编程解算器。球拍代码在