Resources for the laboratory sessions
Old book for the laboratory works (Indrumator)
Data Types and Unification in Prolog
Facts and Rules. Genealogy Tree
Simple Arithmetics. Recursion
Lists. Operations on Lists (I)
The Cut. Operations on Lists (II)
Sorting Algorithms
Deep Lists
Trees. Operations on Trees
Incomplete Structures
Difference Lists
Graphs. Paths in a Graph
Graphs. Search Algorithms for Graphs
Interfacing C and Prolog
Example programs:
