Geahča maid: Introduction to Logic Programming