F. H. Sumner

• Prolog Programming and applications