Prolog und Datenbanken: Ein Schema für die externe verwaltung von Prolog-programmen.
Heinrich JasperPublished in: BTW (1989)
Keyphrases
- logic programming
- expert systems
- abstract machine
- prolog programs
- programming language
- semantically equivalent
- constraint logic programming
- knowledge representation
- knowledge base
- data model
- theorem proving
- logic programming language
- information systems
- databases
- case study
- inference engine
- decision trees
- backward chaining
- multiscale
- bayesian networks
- database systems
- functional programming
- learning algorithm