Prolog als Spezifikations- und Modellierungswerkzeug.

Published in: Requirements Engineering (1983)

Keyphrases

logic programming
expert systems
prolog programs
programming language
knowledge representation
abstract machine
logic programs
knowledge base
relational databases
domain knowledge
backward chaining
real time
databases
high quality
inference engine