37.5.2 Method Additions

+SomeObject :: asserta(+SomeMethod)

+SomeObject :: assertz(+SomeMethod)

+SomeObject :: assert(+SomeMethod)

Asserts SomeMethod in SomeObject with normal Prolog semantics.

Add some facts to vehicle and truck with initial value equal to [].

     | ?- vehicle :: assert(fuel_level([])),
          vehicle :: assert(oil_level([])),
          vehicle :: assert(location([])),
          truck :: assert(capacity([])),
          truck :: assert(total_weight([])).