prolog=/b/hps/Prolog/q2.0f/prolog

comp: 
	checkprolog $(prolog)
	$(prolog) < pipeload
