B. Filipic

• Prolog User's Handbook