My Research in the Implementation of Prolog and its Extensions

Neng-Fa Zhou
(City University of New York)

  1. 4From WAM to ATOAM

    　

  2. 4Implementing Constraint Solvers in Action Rules

    　

  3. 4A Constraint-based Graphics Library

    　

  4. 4Tabled Prolog and Linear Tabling

    　

  5. 4PRISM: Probabilistic Prolog