Now showing items 1-2 of 2

    • Hierarchical Constraint Satisfaction as a Model for Adding Types with Inheritance to Prolog 

      Chitale, Chandan; Deighan, John; Roach, John W. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1990), TR-90-06
      Prolog is a language based on first order logic. It uses resolution as a rule of inference, and unification is the heart of resolution. Prolog operates on the Herbrand universe, a single, unstructured domain. In problems ...
    • VPI Prolog User Manual 

      Roach, John W.; Deighan, John (Department of Computer Science, Virginia Polytechnic Institute & State University, 1990), TR-90-30
      This paper documents how a user may work with the VPI Prolog compiler. The user interface functions called debugging environment and input/output are all described in detail. Anyone using this manual should be able to ...