Following the very simple examples introduced in the Quick Start Tutorial , we now continue with several more substantial examples. For each of these examples, a short description of the problems is given. The corresponding law is presented, both in Prolog and Java , followed by a number of steps to be taken in order to run the example and to observe the effects of the law. Most of the examples can be run using human interface. A programmed actor is sometimes necessary, and a simple code for such actors is supplied in these cases.
These examples (except the last two) are drawn from the Reference Manual . They are not intended to substitute the corresponding discussion in the manual -- which addresses various issues not discussed here -- but to complement it by providing the framework to run these examples.