Is there an Axiomatic Semantics for Standard Pure Prolog.

François Denis Jean-Paul Delahaye

Published in: Theor. Comput. Sci. (1991)

Keyphrases

logic programming
semantically equivalent
logic programming language
formal semantics
knowledge base
logic programs
real time
search engine
information systems
case study
knowledge representation
programming language
schema mappings
semantic representation
constraint logic programming