diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix tabling declaration.

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@181 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
vsc 2001-11-15 19:10:02 +00:00
parent f084a042bf
commit c85d9ee978
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
OPTYap/opt.preds.c
View File

@ -79,7 +79,7 @@ void init_optyap_preds(void) {
InitCPred("$parallel_yes_answer", 0, p_parallel_yes_answer, SafePredFlag); InitCPred("$parallel_yes_answer", 0, p_parallel_yes_answer, SafePredFlag);
#endif /* YAPOR */ #endif /* YAPOR */
#ifdef TABLING #ifdef TABLING
InitCPred("$table", 2, p_table, SafePredFlag); InitCPred("$do_table", 2, p_table, SafePredFlag);
InitCPred("$do_abolish_trie", 2, p_abolish_trie, SafePredFlag); InitCPred("$do_abolish_trie", 2, p_abolish_trie, SafePredFlag);
InitCPred("$show_trie", 3, p_show_trie, SafePredFlag); InitCPred("$show_trie", 3, p_show_trie, SafePredFlag);
#endif /* TABLING */ #endif /* TABLING */

2
pl/tabling.yap
View File

@ -34,7 +34,7 @@ table(X) :-
write(user_error, ' is already declared as table ]'), write(user_error, ' is already declared as table ]'),
nl(user_error) nl(user_error)
; ;
X is F /\ 8'170000, X =:= 0, !, '$table'(T) X is F /\ 8'170000, X =:= 0, !, '$do_table'(T, M)
; ;
write(user_error, '[ Error: '), write(user_error, '[ Error: '),
write(user_error, M:A/N), write(user_error, M:A/N),