Using Libraries

The button instrumentation provides progressive transactions that can be rolled back. It is also possible to consult Prolog texts inside a lite notebook. We consult some Dogelog Player libraries to make random and sorting predicates available: