is_list/1 is now a built-in.
This commit is contained in:
parent
6722ec6fec
commit
71ff7762e5
@ -25,11 +25,6 @@
|
|||||||
'$check_list_on_list'/2
|
'$check_list_on_list'/2
|
||||||
]).
|
]).
|
||||||
|
|
||||||
:- use_module(lists,[
|
|
||||||
is_list/1
|
|
||||||
]).
|
|
||||||
|
|
||||||
|
|
||||||
'$error_checks'(db_abolish(ModulePredName,Arity)):-!,
|
'$error_checks'(db_abolish(ModulePredName,Arity)):-!,
|
||||||
(ModulePredName = Module:PredName ->
|
(ModulePredName = Module:PredName ->
|
||||||
atom(Module),
|
atom(Module),
|
||||||
|
Reference in New Issue
Block a user