scientific article
From MaRDI portal
Publication:4039734
zbMath0637.68005MaRDI QIDQ4039734
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
formal semanticslogic programmingPrologautomatic theorem provingproblem-solvingresolution theorem provingimplementation techniques
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in the theory of software (68N01)
Related Items
The language features and architecture of B-Prolog, Computational complexity and constraint logic programming languages, A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation, A Survey of the Proof-Theoretic Foundations of Logic Programming, A Prolog technology theorem prover: A new exposition and implementation in Prolog, A logic for reasoning with inconsistency, Generating Specialized Rules and Programs for Demand-Driven Analysis