Jekejeke Minlog: Little Solver
http://www.jekejeke.ch/idatab/doclet/prod/zh/docs/15_min/10_docu/02_reference/04_examples/05_solver.html
http://www.jekejeke.ch/idatab/doclet/prod/zh/docs/15_min/15_stdy/06_bench/10_examples/02_addensure/01_referensure.p.html
当然,您可以将额外的原语视为抽象机器中的新指令。但在上述两种情况中,原语是在谓词级别上添加的,因此这引出了一个问题,即是否真正需要约束逻辑编程的抽象机器。
当然,您也可以通过Google找到一些约束逻辑编程抽象机器的建议。
再见