The Prolog Workbook: A Tutorial Approach with SW1 Prolog