Foundations of logic programming. 2nd ext. ed. (English) Zbl 0668.68004

Lloyd, John Wylie

Symbolic Computation. Berlin etc.: Springer-Verlag. XII, 212 p.; DM 88.00 (1987).

See the review of the first edition (1984) in Zbl 0547.68005.

MSC:

68-02	Research exposition (monographs, survey articles) pertaining to computer science
68N01	General topics in the theory of software
68T15	Theorem proving (deduction, resolution, etc.) (MSC2010)
68W30	Symbolic computation and algebraic computation
03B35	Mechanization of proofs and logical operations
03C99	Model theory
68Q65	Abstract data types; algebraic specification
68Q60	Specification and verification (program logics, model checking, etc.)

Keywords:

logic programming; PROLOG; fixed-point theory; unification; infinite computation; declarative semantics; Herbrand model; answer substitution; procedural semantics; SLD-resolution; closed world assumption; negation as failure rule; soundness; completeness

Citations:

Zbl 0547.68005