Grz*_*ski 9 prolog abstract-machine warren-abstract-machine
我正在寻找研究论文或任何其他出版物,比较不同的抽象机器(不止一个)执行Prolog与不基于抽象机器的prolog解释器.到目前为止我所看到的是,大多数实现似乎都是基于Warren Abstract Machine的prolog解释器,尽管提出了其他抽象机器(例如维也纳抽象机,面向树的抽象机)并且没有任何一般的比较.我对效率的比较感兴趣(不是特征),尽管所有比较的解释器都应该允许约束逻辑编程.
小智 3
如果您引入一些用于跟踪约束存储的原语和一些用于统一挂钩的原语，则可以在普通序言之上构建约束逻辑编程。例如：
SICStus Prolog：属性变量
http://sicstus.sics.se/sicstus/docs/3.7.1/html/sicstus_17.html
Jekejeke Minlog：小求解器
http://www.jekejeke.ch/idatab/doclet/prod/en/docs/15_min/10_docu/02_reference/04_examples/05_solver.html
http://www.jekejeke.ch/idatab/doclet/ prod/en/docs/15_min/15_stdy/06_bench/10_examples/02_addensure/01_referensure.p.html
当然，您可以将附加原语视为抽象机中的新指令。但在上述两种情况下，原语都是在谓词级别添加的，因此这就引出了一个问题：是否真的需要用于约束逻辑编程的抽象机。
当然，您也可以通过谷歌找到一些关于约束逻辑编程抽象机的建议。
再见