diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

utilities on conj

Browse Source
This commit is contained in:
Vitor Santos Costa 2015-01-16 20:05:51 -08:00
parent 242844d12f
commit 9b18f6aee4
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pl/lists.yap
View File

@ -76,3 +76,8 @@ lists:delete([Head|List], Elem, [Head|Residue]) :-
:- '$set_yap_flags'(11,0). % disable source.
conjunctions:conj_member(X, (C1,C2)) :-
conjunctions:conj_member(X, C1).
conjunctions:conj_member(X, (C1,C2)) :-
conjunctions:conj_member(X2, C1).
conjunctions:conj_member(X, X).