From: Mark Thom Date: Sun, 23 Oct 2022 21:38:39 +0000 (-0600) Subject: export asserta/2 (#1623) X-Git-Tag: v0.9.1^2~6 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=23f59970cb51271a63099139c671c900b9b7f4fd;p=scryer-prolog.git export asserta/2 (#1623) --- diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index 8d7c020e..eab947cb 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -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,