added prolog programs from Dropbox