Defining Standard Prolog in Rewriting Logic.

Marija Kulas Christoph Beierle

Published in: WRLA (2000)

Keyphrases

logic programming
website
expert systems
logic programs
artificial intelligence
relational databases
knowledge representation
programming language
conjunctive queries
modal logic
inference engine
classical logic