Clause and Effect

A workbook for programmers who are new to Prolog and who wish to write useful Prolog programs. An outline of basic concepts is interleaved with worksheets, whic... » 

A workbook for programmers who are new to Prolog and who wish to write useful Prolog programs. An outline of basic concepts is interleaved with worksheets, which are graduated in scope and give guidance for practising new ideas. Extended examples in the form of case studies then apply the ideas. «