Title: Handbook of Prolog Techniques