A logical reconstruction of Prolog II

• 31 August 1984
• journal article
• Published by Elsevier in The Journal of Logic Programming
• Vol. 1  (2) , 143-149
• https://doi.org/10.1016/0743-1066(84)90001-3

Abstract

Keywords

• MODEL
• PROLOG II
• LOGICAL RECONSTRUCTION
• TREE
• REWRITING
• LANGUAGE
• THEORETICAL