rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

modify domain.pl example (#347)

Browse Source
This commit is contained in:
Mark Thom
2020-04-28 01:39:34 -06:00
parent f8717359d7
commit ab77a1cbc0
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/prolog/examples/domain.pl
View File

@@ -22,7 +22,6 @@ verify_attributes(Var, Other, Goals) :-
( Els = [] -> % exactly one element ( Els = [] -> % exactly one element
Goals = [Other=El] % implied binding Goals = [Other=El] % implied binding
; Goals = [], ; Goals = [],
put_atts(Other, -dom(_)),
put_atts(Other, dom(Dc))% rescue intersection put_atts(Other, dom(Dc))% rescue intersection
) )
; Goals = [], ; Goals = [],