Advertisement
logicmoo

Untitled

May 27th, 2014
407
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. % complex_structure(ID, some random list of stuff)
  2. complex_structure(1, [1, 2, 3]).
  3. complex_structure(2, [3, 2, 1]).
  4.  
  5. unique_structure_broken(X, Y) :-
  6.     X = complex_structure(A1, _),
  7.     Y = complex_structure(A2, _),      
  8.         call(X),call(Y),
  9.         A1\=A2,
  10.     X \= Y.
  11.  
  12. unique_structure(X, Y) :-
  13.     complex_structure(1, X),
  14.     complex_structure(2, Y),      
  15.     X \= Y.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement