Public Tc Slides
Prolog
Formal Knowledge Representation and Automated Reasoning for the Study of Archaeological Stratigraphy M. Cattani, G. Mantegari, A. Mosca, M. Palmonari Department.
Programming in prolog 5th ed. (william clocksin and christopher s. mellish)
Prolog Programming
Institute of Logic, Lng and Comp
Integrated Logic Systems Part 1 WAM and Implementations of Prolog.