moxie - jlombar1 - lab4 > pl
Welcome to SWI-Prolog (Version 2.7.16)
Copyright (c) 1993-1996 University of Amsterdam.  All rights reserved.

For help, use ?- help(Topic). or ?- apropos(Word).

1 ?- consult('tribondx4.pro').
comparisons.pro compiled, 0.01 sec, 1,480 bytes.
tribondx4.pro compiled, 0.01 sec, 6,968 bytes.

Yes
2 ?- consult('kb1.pro'.

[WARNING: Syntax error: Unexpected end of clause
consult('kb1.pro'
** here **
. ]
2 ?- consult('kb1.pro').
kb1.pro compiled, 0.00 sec, 3,456 bytes.

Yes
3 ?- tribonds.
tribond(isa(airplane, vehicle), isa(car, vehicle), isa(train, vehicle))
tribond(isa(airplane, vehicle), isa(car, vehicle), isa(train, vehicle))
tribond(isa(airplane, vehicle), isa(car, vehicle), comp(has(train, car), isa(car, vehicle)))
tribond(isa(banana, food), isa(carrot, food), vip(picnic, food))
tribond(isa(banana, food), isa(carrot, food), vip(picnic, food))
tribond(vip(beer, head), has(drum, head), has(nail, head))
tribond(vip(beer, head), has(drum, head), has(nail, head))
tribond(has(bottle, neck), has(person, neck), has(racket, neck))
tribond(has(bottle, neck), has(person, neck), has(racket, neck))
tribond(vip(car, key), isa(largo, key), has(piano, key))
tribond(vip(car, key), isa(largo, key), has(piano, key))
tribond(vip(car, key), isa(largo, key), comp(has(train, car), vip(car, key)))
tribond(vip(car, key), has(piano, key), comp(has(train, car), vip(car, key)))
tribond(vip(carrot, orange), vip(halloween, orange), vip(su, orange))
tribond(vip(carrot, orange), vip(halloween, orange), vip(su, orange))
tribond(isa(largo, key), has(piano, key), comp(has(train, car), vip(car, key)))

Yes
4 ?- halt.