% The "concepts" or nodes or of a simple semantic net 1 (ssn1). This is a model for solving tribond problems.

concept(car).
concept(vehicle).
concept(wheel).
concept(key).
concept(train).
concept(vehicle).
concept(engine).
concept(airplane).
concept(wings).
concept(flying).
concept(piano).
concept(musical_instrment).
concept(chopain).
concept(largo).
concept(hemmingway).
concept(jail).
concept(cell).
concept(criminal).
concept(bar).
concept(dentistry).
concept(profession).
concept(drills).
concept(bridge).
concept(law).
concept(profession).
concept(lawsuit).
concept(card).
concept(suit).
concept(sanfrancisco).
concept(city).
concept(rules).

isa(car,vehicle).
isa(jail,cell).
isa(train,vehicle).
isa(airplane,vehicle).
isa(piano,musicalinstrument).
isa(largo,key).
isa(dentistry,profession).
isa(law,profession).
isa(card,surface).

has(car,wheel).
has(jail,bar).
has(train,car).
has(airplane,wing).
has(piano,key).
has(largo,bar).
has(dentistry,drill).
has(law,bar).
has(card,suit).

via(car,key).
via(jail,criminal).
via(train,engine).
via(airplane,flying).
via(piano,chopain).
via(largo,hemmingway).
via(dentistry,bridge).
via(law,profession).
via(card,bridge).
via(sanfrancisco,bridge).

isaSolver(C1,C2,C3,X) :- isa(C1,X),isa(C2,X),isa(C3,X).
hasSolver(C1,C2,C3,X) :- has(C1,X),has(C2,X),has(C3,X).
viaSolver(C1,C2,C3,X) :- via(C1,X),via(C2,X),via(C3,X).

pureSolver(C1,C2,C3,CT) :- isaSolver(C1,C2,C3,CT).
pureSolver(C1,C2,C3,CT) :- hasSolver(C1,C2,C3,CT).
pureSolver(C1,C2,C3,CT) :- viaSolver(C1,C2,C3,CT).