Deakstadieđáhus: Introduction to Logic Programming