Adding Prolog projects