export asserta/2 (#1623)

This commit is contained in:
Mark Thom
2022-10-23 15:38:39 -06:00
parent 8781e03863
commit 23f59970cb

View File

@@ -1,13 +1,13 @@
:- module(builtins, [(=)/2, (\=)/2, (\+)/1, !/0, (',')/2, (->)/2,
(;)/2, (=..)/2, /* (:)/2, (:)/3, (:)/4, (:)/5,
(:)/6, (:)/7, (:)/8, (:)/9, (:)/10, (:)/11,
(:)/12, */ abolish/1, asserta/1, assertz/1,
at_end_of_stream/0, at_end_of_stream/1,
atom_chars/2, atom_codes/2, atom_concat/3,
atom_length/2, bagof/3, call/1, call/2, call/3,
call/4, call/5, call/6, call/7, call/8, call/9,
callable/1, catch/3, char_code/2, clause/2,
close/1, close/2, current_input/1,
(:)/12, */ abolish/1, asserta/1, asserta/2,
assertz/1, assertz/2, at_end_of_stream/0,
at_end_of_stream/1, atom_chars/2, atom_codes/2,
atom_concat/3, atom_length/2, bagof/3, call/1,
call/2, call/3, call/4, call/5, call/6, call/7,
call/8, call/9, callable/1, catch/3, char_code/2,
clause/2, close/1, close/2, current_input/1,
current_output/1, current_op/3,
current_predicate/1, current_prolog_flag/2,
error/2, fail/0, false/0, findall/3, findall/4,