Modulog "isa" Prolog.

Louis Dewez E. Mafety

Published in: SPLT (1987)

Keyphrases

logic programming
knowledge representation
expert systems
prolog programs
programming language
abstract machine
knowledge base
logic programming language
data sets
multiscale
real time
e learning
similarity measure
search algorithm
inference engine
backward chaining