Resources for the laboratory sessions
Old book for the laboratory works (Indrumator)
Data Types and Unification in Prolog
Facts and Rules. Genealogy Tree
Lists. Operations on Lists (I)
The Cut. Operations on Lists (II)