Prolog: Programmierung auf der Basis von Logik / Prolog: Logic Based Programming.
Gerhard BarthPublished in: it Inf. Technol. (1987)
Keyphrases
- programming language
- programming paradigms
- knowledge representation
- logic programming
- prolog programs
- expert systems
- knowledge base
- inference engine
- functional programming
- theorem proving
- backward chaining
- abstract machine
- artificial intelligence
- logic programming language
- constraint logic programming
- fully functional
- computer science
- image processing
- real time