Prolog als Methodensprache in einer objektorientierten Programmierumgebung.

Stefan Roggenbuck Reinhold Gebhardt Walter Ameling

Published in: Angew. Inform. (1989)

Keyphrases

logic programming
knowledge representation
prolog programs
programming language
expert systems
inference engine
abstract machine
knowledge base
logic programming language
object recognition
constraint logic programming
databases
image analysis
theorem proving
explanation based generalization
programming paradigms