Defines a Definite Clause Grammar notation for Racklog