Skip to content

Instantly share code, notes, and snippets.

@timschonborn
Created June 6, 2018 07:48
Show Gist options
  • Save timschonborn/2bce80621caeac83c9da316ed4c2a3f2 to your computer and use it in GitHub Desktop.
Save timschonborn/2bce80621caeac83c9da316ed4c2a3f2 to your computer and use it in GitHub Desktop.
%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) :-
word(V1, _, V1H1, _, V1H2, _, V1H3, _),
word(V2, _, V2H1, _, V2H2, _, V2H3, _),
word(V3, _, V3H1, _, V3H2, _, V3H3, _),
word(H1, _, V1H1, _, V2H1, _, V3H1, _),
word(H2, _, V1H2, _, V2H2, _, V3H2, _),
word(H3, _, V1H3, _, V2H3, _, V3H3, _),
V1 \= H1.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment