W. Burnham

• Prolog programming and applications