Sketching a makefile based prolog benchmark