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

Readings

Basic Concepts of Set Theory, Functions and Relations
Logic Programmming