* Makefile: prolog3 target