Ordering in the theorem prover produces the strategy:

• First find space-time location of all bodies

• Replace abstract function symbols with concrete ones (library subroutines).

Contents    Page-10    Prev    Next    Page+10    Index