|
|
|||||||||
adds a new clause as last clause of a predicate to the database.
assertz(+Clause)
assertz/1 adds Clause as last clause of the predicate
which has the same functor and arity as Clause to the database.
If no corresponding predicate exists a new predicate is created.
If Clause is an atom or compound term whose principal functor is
different from ':-' then Clause is the head and 'true' is the body
of the new clause.
If Clause is a compound term whose principal functor is
':-'/2 then the left side (1st argument) of ':-' is the head
and the right side (2nd argument) the body of the new clause.
Arguments
Clause atom or compound term
Examples
| assertz(f(a)). | Succeeds and adds the clause 'f(a) :- true' at the end of the clause sequence of the predicate f/1. |
| assertz((f(X,Z) :- g(X,Y), h(Y,Z))). | Succeeds and adds the clause 'f(X,Z) :- g(X,Y), h(Y,Z)' at the end of the clause sequence of the predicate f/2. |
| assertz(X). | instantiation_error. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
asserta/1, abolish/1, collect/3, load/1, unload/1, loaded/1/2, retract/1, retractall/1.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/clause_creat_destruct/assertz/print_de.html published 2008/11/17 update 2003/2/26 (c) 1996-2006 IF Computer Japan | ||||||||
|
