SHARE
TWEET

Untitled

a guest Oct 12th, 2017 48 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. prova7(Sim) :- fs_total((z1:-after(a1,b1,a,[1,1],[2,4]),after(b1,c1,a,[1,1],[4,6]),after(c1,d1,a,[1,2],[3,4]),after(d1,e1,a,[1,1],[3,6]),after(e1,f1,a,[3,4],[8,10]),after(f1,g1,a,[2,3],[3,3]),
  2.         dog(a), son(a), cat(a), apple(a), pie(a1,c1,d1), pie(a1,s1,h1), cat(a1,u1,z1),
  3.         tax(a,[son,daughter,dog]-[baby]-[dog]), tax(a,[child,daughter,snake]-[baby]-[dog]),
  4.         neg(dog), neg(cat),
  5.         cat(a,21), dog(a,21),
  6.         label(a1,sveglia),label(b1,colazione),label(c1,cellulare),label(d1,doccia),label(e1,vestire),label(f1,auto),label(g1,lavoro)),
  7.        
  8.     (z2:-after(a1,b1,a,[3,3],[4,5]),after(b1,c1,a,[2,3],[2,4]),after(c1,d1,a,[1,4],[2,8]),after(d1,e1,a,[5,5],[6,8]),after(e1,f1,a,[3,4],[8,10]),after(f1,g1,a,[2,3],[3,3]),
  9.         mouse(a), son(a), list(a), apple(a),dog(a1,u1,z1), pie(a1,c1,d1), pie(b1,m1,t1),
  10.         tax(a,[mouse,cat,dog]-[snake]-[sheep]), tax(a,[mouse,cat,whale]-[snake]-[sheep]),
  11.         neg(a), neg(a),
  12.         cat(a,9), mouse(a,21),
  13.         label(a1,sveglia),label(b1,doccia),label(c1,colazione),label(d1,lavoro),label(e1,cellulare),label(f1,auto),label(g1,lavoro)),Sim).
RAW Paste Data
Top