asserta/1

Adds a clause at the top of a predicate's clause-set

asserta(Clause) -(i)

Compatibility: LPA Win-Prolog, Swindon Prolog, most other Prologs.

Remarks:

1) This predicate adds a new clause to the existing program. If there are previous clauses of the same head (predicate), the new clause is added at the top of the existing sequence of clauses.

2) In Lpa Win-Prolog and most other Prologs, the asserted predicate must have been previously declared "dynamic". In G.I.S. Prolog, all predicates are -by nature- "dynamic".