Prolog-Arbeiten in Karlsruhe.
Gerhard GoosRoland DietrichPeter KursawePublished in: Wissensbasierte Systeme (1987)
Keyphrases
- bayesian networks
- logic programming
- programming language
- knowledge representation
- expert systems
- abstract machine
- knowledge base
- prolog programs
- theorem proving
- data sets
- special case
- relational databases
- constraint logic programming
- logic programming language
- general purpose
- data analysis
- inference engine
- horn clauses
- image processing
- real time