KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung.
Alexander BockmayrChristoph BrzoskaPeter DeussenIgor VarsekPublished in: Inform. Forsch. Entwickl. (1991)
Keyphrases
- logic programming
- programming language
- expert systems
- prolog programs
- knowledge representation
- abstract machine
- logic programming language
- knowledge base
- theorem proving
- artificial intelligence
- decision making
- training set
- functional programming
- backward chaining
- databases
- image processing
- feature selection
- information systems
- neural network