×
范埃姆登，M.H。;劳埃德·J·W·。

Prolog II的逻辑重建。 （英语） Zbl 0594.68033号

J.逻辑程序。 1, 143-149 (1984).
总结：Colmerauer提出了一个基于树重写而非逻辑的Prolog II理论模型。在本文中，我们证明Prolog II可以被视为一种逻辑编程语言。

引用于10文件

理学硕士：

68问题65 抽象数据类型；代数规范
60年第68季度 规范和验证（程序逻辑、模型检查等）
68吨15 定理证明（演绎、解析等）（MSC2010）
68N01型 软件理论的一般主题

关键词：

序言II;树重写;逻辑程序设计语言
PDF格式BibTeX公司 XML格式引用
\textit{M.H.van Emden}和\textit{J.W.Lloyd}，J.Log。程序。1143-149（1984；Zbl 0594.68033）
全文： 内政部