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

correct improper use of multifile directive in tabling/wrapper.pl

Browse Source
This commit is contained in:
Mark Thom
2020-02-06 10:12:57 -07:00
parent 0be8abd38c
commit 1b5cf493d6
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/prolog/lib/tabling/wrapper.pl
View File

@@ -80,6 +80,7 @@ wrappers(Name/Arity) -->
[ ( Head :- [ ( Head :-
start_tabling(Module:Head, WrappedHead) start_tabling(Module:Head, WrappedHead)
), ),
(:- multifile(table_wrapper:tabled/2)),
table_wrapper:tabled(Head, Module) table_wrapper:tabled(Head, Module)
]. ].
@@ -107,10 +108,7 @@ rename_term(Name, WrapName) :-
atom_concat(Name, ' tabled', WrapName). atom_concat(Name, ' tabled', WrapName).
user:term_expansion(Term0, user:term_expansion(Term0, Clauses) :-
[ (:- multifile(table_wrapper:tabled/2))
| Clauses
]) :-
nonvar(Term0), nonvar(Term0),
Term0 = (:- table Preds), Term0 = (:- table Preds),
phrase(wrappers(Preds), Clauses). phrase(wrappers(Preds), Clauses).