"Some coding guidelines for Prolog" - читать интересную книгу автора (Covington M.A.)