Skip to content

Instantly share code, notes, and snippets.

@timschonborn

timschonborn/train.pl

Created June 6, 2018 09:24
Show Gist options
  • Save timschonborn/23465cdacd6b724b103a7076820242ec to your computer and use it in GitHub Desktop.
Save timschonborn/23465cdacd6b724b103a7076820242ec to your computer and use it in GitHub Desktop.
Download ZIP
Raw
train.pl
% train.pl - learnprolognow.org
directTrain(saarbruecken,dudweiler).
directTrain(forbach,saarbruecken).
directTrain(freyming,forbach).
directTrain(stAvold,freyming).
directTrain(fahlquemont,stAvold).
directTrain(metz,fahlquemont).
directTrain(nancy,metz).
travelFromTo(X,Y) :- directTrain(X,Y).
travelFromTo(X,Y) :- directTrain(Y,X).
travelFromTo(X,Z) :- directTrain(X,Y), travelFromTo(Y,Z).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment