# 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.