Search
Now showing items 1-2 of 2
Object-oriented implementation of Prolog
(1993)
Logic programming is a discipline of describing problems in high-level abstraction
by separating logic from control. Conventional Prolog interpretation or compilation
models take a procedural view of Prolog programs. A ...
Compiling Prolog to Logic-inference Virtual Machine
(1998)
The Logic-inference Virtual Machine (LVM) is a new Prolog execution model
consisting of a set of high-level instructions and memory architecture for handling control
and unification. Different from the well-known Warren's ...