I quite strongly disagree with examples as tests. Simply use e.g. this below. Way easier to read for all uf us and for beginners even more so. We can create test cases out of this should we want to do so later.
?- member(X, [a,b]).
X = a ;
X = b.
I quite strongly disagree with examples as tests. Simply use e.g. this below. Way easier to read for all uf us and for beginners even more so. We can create test cases out of this should we want to do so later.
?- member(X, [a,b]).
X = a ;
X = b.