Course about prolog at faculty