all: 
	@for i in *.rules ; do \
		echo " -----------------------------------------------------";\
		echo "                   techno $$i";\
		echo " -----------------------------------------------------";\
		make T=`basename $$i .rules` `basename $$i .rules`.rds;\
	done	

$(T).rds : $(T).rules prol
	prol< $(T).rules > $(T).rds

prol: prol.c
	cc -g prol.c -lm -o prol

g gr gra graa graal:
	RDS_TECHNO_NAME=$(T).rds;\
	MBK_IN_PH=cp;\
	MBK_OUT_PH=cp;\
	export MBK_OUT_PH MBK_IN_PH RDS_TECHNO_NAME;\
	graal -l $(C)

d dr dre drea dreal:
	RDS_TECHNO_NAME=$(T).rds;\
	RDS_IN=cif;\
	RDS_OUT=cif;\
	export RDS_IN RDS_OUT RDS_TECHNO_NAME;\
	s2r $(C);\
	dreal -l $(C)
