Methodik des Programmierens in Prolog.
Reinhard BuddeKarin KuhlenkampKarl-Heinz SyllaHeinz ZüllighovenPublished in: KIFS (1987)
Keyphrases
- logic programming
- expert systems
- programming language
- knowledge representation
- prolog programs
- abstract machine
- inference engine
- real world
- search algorithm
- constraint logic programming
- knowledge base
- special case
- lower bound
- scheduling problem
- training data
- horn clauses
- backward chaining
- functional programming
- semantically equivalent