Logimix: A Self-Applicable Partial Evaluator for Prolog.

Torben Æ. Mogensen Anders Bondorf

Published in: LOPSTR (1992)

Keyphrases

logic programming
knowledge representation
programming language
expert systems
website
abstract machine
data sets
information retrieval
information systems
image processing
mobile robot
probabilistic model
general purpose
constraint logic programming
functional programming