An environment for self-testing of logic programs