Collberg's  Logic Programming Teaching Resources