timschonborn

% greater_than.pl - learnprolognow.org

is_number(0).
is_number(s(X)) :- is_number(X).

% greater_than(X,Y) true if X is greater than Y

greater_than(s(0), 0).
greater_than(s(X), X).
greater_than(s(X), Y) :- greater_than(X, Y).

timschonborn

% 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).

timschonborn

%lexicon.pl - learnprolognow.org

word(astante, a,s,t,a,n,t,e).
word(astoria, a,s,t,o,r,i,a).
word(baratto, b,a,r,a,t,t,o).
word(cobalto, c,o,b,a,l,t,o).
word(pistola, p,i,s,t,o,l,a).
word(statale, s,t,a,t,a,l,e).

crossword(V1,V2,V3,H1,H2,H3) :-