Some material of courses I taught in the past:
W.J. Fokkink, Introduction to Process Algebra, Texts in Theoretical Computer Science, An EATCS Series, Springer, 2000
I. Bratko, PROLOG Programming for Artificial Intelligence (3rd edition), Addison-Wesley, 2000