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

1 ?- consult('ssn1.pro').
ssn1.pro compiled, 0.00 sec, 6,008 bytes.

Yes
2 ?- isa(car,X).

X = vehicle

Yes
3 ?- isa(car,X), isa(train,X).

X = vehicle

Yes
4 ?- isa(car,X), isa(jail,X).

No
5 ?- isaSolver(car, train, airplane, X).
X = vehicle

Yes
6 ?- has(largo,law, jail, X).
[WARNING: Undefined predicate: `has/4'
However there are definitions for:
hash/1]

No
7 ?- hasSolver(largo,law,jail,X).

X = bar

Yes
8 ?- viaSolver(dentistry, card, sanfrancisco,A).

A = bridge

Yes
9 ?- pureSolver(airplane, car, train, W).

W = vehicle

Yes
10 ?- pureSolver(largo, jail, law, X).

X = bar

Yes
11 ?- pureSolver(dentistry, sanfrancisco, card, D).

D = bridge

Yes
12 ?- pureSolver(piano, car, card,S).

No
13 ?- hasSover(car, engine, key, P).
[WARNING: Undefined predicate: `hasSover/4']

No
14 ?- viaSolver(jail, car, law, X).

No
15 ?- isaSolver(bar, car, key, E).

No
16 ?- halt.