A New Module System for Prolog.

Daniel Cabeza Gras Manuel V. Hermenegildo

Published in: Computational Logic (2000)

Keyphrases

logic programming
programming language
expert systems
knowledge representation
constraint logic programming
decision trees
functional programming
database
real time
real world
data mining
search engine
multiscale
theorem proving
prolog programs