make sure we can use clause.
This commit is contained in:
parent
198fc03bae
commit
f85a2112c9
@ -110,6 +110,8 @@ true :- true.
|
|||||||
nb_setval('$initialization_goals',off),
|
nb_setval('$initialization_goals',off),
|
||||||
nb_setval('$consulting',false),
|
nb_setval('$consulting',false),
|
||||||
nb_setval('$included_file',[]),
|
nb_setval('$included_file',[]),
|
||||||
|
\+ '$undefined'('$init_preds',prolog),
|
||||||
|
'$init_preds',
|
||||||
fail.
|
fail.
|
||||||
'$init_consult' :-
|
'$init_consult' :-
|
||||||
retractall(user:library_directory(_)),
|
retractall(user:library_directory(_)),
|
||||||
|
Reference in New Issue
Block a user