You can find here certain part of a revised version (still in preparation) of the already existing lecture notes on logic programming (both in Bulgarian).