The Resources Page

• Lecture notes on Mathematical Logic by Prof. D. Skordev (in Bulgarian).
• Lecture notes on Logic Programming by Prof. D. Skordev (in Bulgarian).
• Lecture notes on Logic Programming by A. Zinoviev (in Bulgarian).
• Lecture notes on Logic Programming by Prof. Vladislav Nenchev (in Bulgarian)
• Old lecture notes about resolutions by Prof. Anton Zinoviev (in Bulgarian)
• Some initial lectures on Technology and Methodology of Programming by A. Zinoviev (in Bulgarian).
• Some Prolog Exercises by Prof. Vessela Baleva (in Bulgarian).
• A Prolog Compiler: Strawberry Prolog.
• A Template for exams (LaTeX)
• The source code of our web site.
• More resources you can find on the individual web-pages of our members.