Skip to content

Instantly share code, notes, and snippets.

@WillNess

WillNess/if_ determinacy

Created October 25, 2015 20:49
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save WillNess/cf47a4117331f949fbd9 to your computer and use it in GitHub Desktop.
Save WillNess/cf47a4117331f949fbd9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
if_ determinacy
7 ?- unionp([1,2,3,4],[3,5,2,6,7],X).
X = [1, 4, 3, 5, 2, 6, 7] ;
false.
8 ?- memberd_t(2,[1,2,3],T).
T = true.
9 ?- unionp([1,2,3,4],[3,5,2,6,7],X).
X = [1, 4, 3, 5, 2, 6, 7] ;
false.
10 ?- memberd_t(X,[1,2,3],T).
X = 1,
T = true ;
X = 2,
T = true ;
X = 3,
T = true ;
T = false,
dif(X, 3),
dif(X, 2),
dif(X, 1).
11 ?- memberd_t(2,[1,2,3],T).
T = true.
12 ?- memberd_t(4,[1,2,3],T).
T = false.
13 ?- unionp([1,2,3,4],[3,5,2,6,7],X).
X = [1, 4, 3, 5, 2, 6, 7].
14 ?-
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment