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 |