Libraries

KRL has a number of built-in library modules that provide predicates, actions, and functions for particular purposes.