assert/1,asserta/1,assertz/1

assert(Fact)

asserta(Fact)

assertz(Fact)

Insert a fact in the internal database.

Remarks

asserta/1 inserts a Fact in the internal database before any other stored facts for the corresponding predicate.

assert/1 and assertz/1 insert a Fact in the internal database after any other stored facts for the corresponding predicate.

Example

asserta(person("Leo", 31, "", 2605)),

asserta(person("Per", 29, "", 2605)),

assertz(person("Michael", 36, "", 30318)),

asserta(city(2605, "Br˘ndby, Copenhagen")),

assertz(city(30318, "Atlanta")).