Eitemau Tebyg: Introduction to Logic Programming