The double-tabling message comes from teh specialization
code (that gives those messages about predicats that have
been specialized.) There are situaitions in which add
specialized versions of tabled predicates will cause tabling
of two versions of the specialized forms when one calls the
other. Thus the message. You can avoid it by turning
specialization off. Do this by adding:
:- compiler_options([spec_off]).
or by compiling the file with:
| ?- compile(codefile,[spec_off]).
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Logged In: YES
user_id=13069
Cleanup:
The double-tabling message comes from teh specialization
code (that gives those messages about predicats that have
been specialized.) There are situaitions in which add
specialized versions of tabled predicates will cause tabling
of two versions of the specialized forms when one calls the
other. Thus the message. You can avoid it by turning
specialization off. Do this by adding:
:- compiler_options([spec_off]).
or by compiling the file with:
| ?- compile(codefile,[spec_off]).