Basic Logic Programming
Tools
What
versus
How
Lessons Notes Exercises Tools Readings

General Tools

Bobrow
Kowalski
Minker
Nilsson

Worksheets