How to Use Modalities and Sorts in Prolog.

Andreas Nonnengart

Published in: JELIA (1994)

Keyphrases

expert systems
logic programming
programming language
constraint logic programming
knowledge representation

database
prolog programs
logic programming language
data sets
knowledge base

inference engine
abstract machine
backward chaining
object oriented

special case
digital libraries
artificial intelligence
genetic algorithm