• 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 ...