hilog

Tim Finin (finin@cs.umbc.edu)
Wed, 05 Mar 2003 16:58:05 -0500

• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: anjali1: "Transitive closure"
• Previous message: Tim Finin: "Re: stable marriage"

The examples I used in class, which are from
the xsb documentation, can be found in

   http://www.cs.umbc.edu/771/current/hw/hw2/hilogExamples.P

The example using closure to define ancestor

   :- hilog parent.
   closure(R)(X,Y) :- R(X,Y).
   closure(R)(X,Y) :- R(X,Z), closure(R)(Z,Y).
   ancestor(X,Y) :- closure(parent)(X,Y).
   parent(adam,able).
   parent(eve,able).
   parent(adam,cain).
   parent(eve,cain).

works for me.

• Next message: anjali1: "Transitive closure"
• Previous message: Tim Finin: "Re: stable marriage"

This archive was generated by hypermail 2.0b3 on Wed Mar 05 2003 - 16:58:12 EST