×

zbMATH — the first resource for mathematics

A logical reconstruction of Prolog II. (English) Zbl 0594.68033
Summary: Colmerauer has proposed a theoretical model for Prolog II based on tree rewriting rather than logic. In this paper, we show that Prolog II can be regarded as a logic programming language.

MSC:
68Q65 Abstract data types; algebraic specification
68Q60 Specification and verification (program logics, model checking, etc.)
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68N01 General topics in the theory of software
PDF BibTeX XML Cite
Full Text: DOI