[newbie] transitivity rules

From: DaveNlp ((NOSPAM)uni512web_at_iol.it)
Date: 01/05/04 

Date: Mon, 05 Jan 2004 16:07:39 GMT

Dear Prolog users,
how do I write a rule like this?
for example,

implies isa(a,c) when (isa(a,b) AND isa(b,c)) (transitivity??)

The example above is equivalent to:
if (A = B) and (B = C) then (A = C)

First you excuse me for the abnormal syntax,
but I am newbie in Prolog and I don't know like I must do..
I want to do a small program like this:

Rule:
?????

Facts:
:- isa(dave,man)
:- isa(man,mortal)

Query:
?- isa(dave,mortal)

Thanks in advance for any help.
DaveNlp.

Relevant Pages

  • Re: OT Pilots for 911 Truth
    ... "facts are stubborn things". ... and instead make up excuse. ... govt story are numerous and widespread. ... (you'll have to register to see it, and im sure you'll make the excuse ...
    (rec.music.classical.guitar)
  • Re: OT Pilots for 911 Truth
    ... I used to believe the govt story hook, ... "facts are stubborn things". ... and instead make up excuse. ... Are you arguing you dont know how to interpret 2+2=4? ...
    (rec.music.classical.guitar)
  • Re: OT Pilots for 911 Truth
    ... I used to believe the govt story hook, ... "facts are stubborn things". ... and instead make up excuse. ... Are you arguing you dont know how to interpret 2+2=4? ...
    (rec.music.classical.guitar)
  • Re: circular relationships ok?
    ... for A and B respectively in a tuple of R, a implies b and b implies a, ... A key is a set of attribute values, or facts. ... conjunctive normal form is a set of facts. ... for C, so in T, both A and C must be candidate keys. ...
    (comp.databases.theory)
  • Re: speaking of the missing....
    ... Probably correct, as far as how American Indians were treated, except the analogy doesn't hold in this case. ... They at least have an excuse: ... It certainly isn't because the facts are in your favor. ... This is a discussion involving opinions. ...
    (soc.senior.issues)