Skip to content

GitLab

Commit ab7edfce authored by Marius Frinken's avatar Marius Frinken
Browse files

further improved tips.pl

parent 978c766d
Hide whitespace changes
Inline Side-by-side
Marius/uebung03/tips.pl
View file @ ab7edfce
...@@ -27,7 +27,7 @@ tag_and_process(List):- ...@@ -27,7 +27,7 @@ tag_and_process(List):-
%more complicated version that allows for equal values and does not offer faulty backtracking %more complicated version that allows for equal values and does not offer faulty backtracking
comp_triples(Delta, (C1,_,_),(C2,_,_)):- comp_triples(Delta, (C1,_,_),(C2,_,_)):-
( (
C1==C2 -> %if C1 has the same value as C2 , == does not unify C1==C2 -> % checking if C1 has the same value as C2 , == does not unify
Delta = >; Delta = >;
compare(Delta,C1,C2) compare(Delta,C1,C2)
). ).
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment