• Compiling Prolog to Logic-inference Virtual Machine 

      Wang, Yifei (Fred) (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 ...
    • Object-oriented implementation of Prolog 

      Fan, Wei (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 ...