added prolog papers to bib