Title: Applied Prolog Techniques