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 |
