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

keep phrase goal qualified even if qualifier is a variable

Browse Source
This commit is contained in:
Mark Thom
2023-02-17 00:20:15 -07:00
parent 56783b8e4b
commit 601ff567e3
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/lib/dcgs.pl
View File

@@ -215,6 +215,9 @@ user:goal_expansion(phrase(GRBody, S, S0), GRBody2) :-
E, E,
dcgs:error_goal(E, GRBody1) dcgs:error_goal(E, GRBody1)
), ),
module_call_qualified(M, GRBody1, GRBody2). ( GRBody = (_:_) ->
GRBody2 = M:GRBody1
; GRBody2 = GRBody1
).
user:goal_expansion(phrase(GRBody, S), phrase(GRBody, S, [])). user:goal_expansion(phrase(GRBody, S), phrase(GRBody, S, [])).