Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- domains
- town = symbol
- distance = integer
- predicates
- nondeterm road(town,town,distance)
- nondeterm route(town,town,distance)
- clauses
- road("tampa","houston",200).
- road("gordon","tampa",300).
- road("houston","gordon",100).
- road("houston","kansas_city",120).
- road("gordon","kansas_city",130).
- route(Town1,Town2,Distance):-
- road(Town1,Town2,Distance).
- route(Town1,Town2,Distance):-
- road(Town1,X,Dist1),
- route(X,Town2,Dist2),
- Distance=Dist1+Dist2,!.
- goal
- route("tampa", "kansas_city", X),
- write("Distance from Tampa to Kansas City is ",X),nl.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement