Eine Beurteilung paralleler Modelle für Prolog.
Harald WestphalPublished in: GI Jahrestagung (1) (1986)
Keyphrases
- logic programming
- prolog programs
- expert systems
- programming language
- programming paradigms
- logic programming language
- inference engine
- knowledge representation
- abstract machine
- knowledge base
- information retrieval
- neural network
- real time
- theorem proving
- artificial intelligence
- pattern recognition
- training data
- database systems
- constraint logic programming
- machine learning
- semantically equivalent
- data sets