assert(base,wff)

Sintax

base

Knowledge base name.

wff

Well found formula.

Boolean Value

Always sucessful.

Description

Adds the formula wff to the base called base with the following side-effects:

1. wff will be normalized;
2. The variables from wff will be instanciated with the current Hlist values;
3. Repeated insertion of the same wff are acumulative;
4. The last insertions are the first formulas to be used by the derivation process.

Example

newbase(exemplo) & assert(exemplo,é_homem(*x) implies é_mortal(*x)) & lsbase(exemplo) & delbase(exemplo)
					

newbase(func) & assert(func,é_func(Matos)) & assert(func,é_func(Costa)) & prove-in(sup,func,é_func(*x)) & newbase(tec) & assert(tec,é_técnico(*x)) & fail & lsbases & delbase(func) & delbase(tec)
					

newbase(func) & assert(func,é_func(Matos)) & assert(func,é_func(Costa)) & prove-in(sup,func,é_func(*x)) & newbase(tec) & assert(tec,é_técnico(*x)) & assert(tec,é_técnico(*x)) & fail & lsbases & delbase(func) & delbase(tec)
					

newbase(tec) & assert(tec,é_técnico(Silva)) & assert(tec,é_técnico(Matos)) & prove-in(sup,tec,é_técnico(*x)) & Hterm(1,*x,*y) & lsmsg(*y)