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

make attribute_goals a nonterminal

Browse Source
This commit is contained in:
Mark Thom
2019-10-03 23:29:18 -06:00
parent b61ed65208
commit 0a84f183fe
5 changed files with 41 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/prolog/lib/dif.pl
View File

@@ -1,6 +1,7 @@
:- module(dif, [dif/2]).
:- use_module(library(atts)).
:- use_module(library(dcgs)).
:- use_module(library(lists), [append/3]).
:- attribute dif/1.
@@ -43,10 +44,11 @@ dif(X, Y) :- X \== Y,
dif_set_variables(YVars, X, Y)
).
gather_dif_goals([], _).
gather_dif_goals([(X \== Y) | Goals0], [dif(X, Y) | Goals]) :-
gather_dif_goals(Goals0, Goals).
gather_dif_goals([]) --> [].
gather_dif_goals([(X \== Y) | Goals]) -->
[dif(X, Y)],
gather_dif_goals(Goals).
attribute_goals(X, Goals) :-
get_atts(X, +dif(Goals0)),
gather_dif_goals(Goals0, Goals).
attribute_goals(X) -->
{ get_atts(X, +dif(Goals)) },
gather_dif_goals(Goals).