Une introduction à Prolog III.

Alain Colmerauer

Published in: FODO (1989)

Keyphrases

expert systems
knowledge representation
logic programming
abstract machine
programming language
database
knowledge base
neural network
genetic algorithm
support vector
search algorithm
scheduling problem
theorem proving
constraint logic programming
logic programming language