--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Thu Jan 18 23:27:24 2001 +0900
@@ -0,0 +1,110 @@
+#
+# Copyright (C) 1991, Shinji Kono, Sony Computer Science Laboratory, Inc.
+#                                  The University, Newcastle upton Tyne
+#
+# Everyone is permitted to copy and distribute verbatim copies
+# of this license, but changing it is not allowed.  You can also
+# use this wording to make the terms for other programs.
+#
+# send your comments to kono@csl.sony.co.jp
+
+PROLOG = sicstus
+PROLOG_TYPE = SICSTUS
+
+# PROLOG = sbprolog
+# PROLOG_TYPE = SBPROLOG
+
+# PROLOG = cprolog
+# PROLOG_TYPE = CPROLOG
+
+# PROLOG = xsb
+# PROLOG_TYPE = XSB
+
+# last resort
+# PROLOG = prolog
+# PROLOG_TYPE = PROLOG
+
+
+#  SICSTUS                      for SICStus Prolog
+#    SICSTUS218                     patch for v2.1 #8
+#  SBPROLOG                     for SB Prolog
+#  QUINTUS                      for Quintus Prolog
+#  CPROLOG                      for CPROLOG ver 1.2
+#    CPROLOG15                  for CPROLOG15 ver 1.5
+#  see cp.pl.c
+
+all:    $(PROLOG_TYPE)
+
+SICSTUS: cp.pl
+	echo '[initm],save(lite).' | $(PROLOG)
+CPROLOG: cp.pl
+	echo '[init],save(lite).' | $(PROLOG)
+
+PROLOG: cp.pl
+	echo 'start ' $(PROLOG) ' and run [init]'
+
+SB_START_FILE = /usr/local/lib/sbprolog/modlib/\$$readloop 
+SBPROLOG:  cp.pl
+	echo "['op.pl']." > .tmpb
+	make M=$(M) $(OBJ)
+	cat .tmpb | $(PROLOG)
+	cat $(SB_START_FILE) $(OBJ) > lite
+
+XSB:  cp.pl
+	echo '[init].' | $(PROLOG)
+	echo 'start ' $(PROLOG) ' and run [init]'
+	
+
+cp.pl : cppl.c
+	cc -E -D$(PROLOG_TYPE) cppl.c | sed -e '/^#/d' > cp.pl
+
+.SUFFIXES: .pl .ql
+.SILENT:
+OBJ = op.ql ndcomp.ql dvcomp.ql bdtstd.ql rstd.ql chop.ql diag.ql kiss.ql ex.ql cp.ql
+# kiss_ex.ql
+WORK = .tmpl .tmpc .tmpa .tmpb
+# M = lite:
+
+tmpa:
+	rm -f $(WORK)
+	touch $(WORK)
+	make  M=$(M) $(OBJ)
+	echo '?-load($(M)['$(OBJ)']).' | \
+		sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa
+
+.pl.ql:
+	echo '?-fcompile('$(M)$*').' >> .tmpc
+	echo '?-load('$(M)$*').' >> .tmpl
+	echo "compile('$<','$@')." >> .tmpb
+
+cp.ql : cp.pl
+
+clean:
+	rm -f lite *.ql $(WORK) cp.pl *.O *.P
+
+pack:
+	tar cvf -  read.me \
+	`echo $(OBJ) $(BDD) display.pl | sed -e 's/\.ql/\.pl/g' ` \
+	Makefile init* bddi | compress |\
+	uuencode itlve.tar.Z > itlve.tar.Z.uu
+
+lharc:
+	lharc u itl.lhz  read.me \
+	`echo $(OBJ) display.pl | sed -e 's/\.ql/\.pl/g' ` \
+	Makefile init demoi 
+
+BDD = chop.ql diag.ql bdditl.ql bddcomp.ql ex.ql cp.ql
+bdd:	
+	rm -f $(WORK)
+	touch $(WORK)
+	make M=$(M) $(BDD)
+	echo '?-load($(M)['$(BDD)']).' | \
+	sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa
+
+DISPLAY = display.ql
+display:	
+	rm -f $(WORK)
+	touch $(WORK)
+	make M=$(M) $(DISPLAY)
+	echo '?-load($(M)['$(DISPLAY)']).' | \
+	sed -e 's/\.ql//g' -e 's/ *$$//' -e 's/ /,/g' > .tmpa