-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathINSTALL.j
68 lines (46 loc) · 2.11 KB
/
INSTALL.j
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
% (C)1992 Institute for New Generation Computer Technology
% (Read COPYRIGHT for detailed information.)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
ICOT FREE SOFTWARE No.82 $@JBNsDjM}>ZL@4o(J MGTP/N Prolog $@HG(J
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
$@K\%W%m%0%i%`$O!"(JProlog $@$G=q$+$l$?%N%s%0%i%s%IHG(J MGTP $@$N<B9T=hM}7O$G$"$k!#(J
$@%f!<%6$,5-=R$7$?(J MGTP $@F~NO@a$O!$(JProlog $@HG$G$O(J Prolog $@@a$K!$(JKL1 $@HG$G$O(J
KL1 $@@a$KJQ49$5$l$F!"(JMGTP $@?dO@%(%s%8%s$KFI$_9~$^$l$kI,MW$,$"$k$,!"(J
MGTP/N $@$K$D$$$F$O!"(JProlog $@HG!"(JKL1 $@HG$$$E$l$K$D$$$F$b$3$NJQ497O$O%5%]!<%H(J
$@$5$l$F$$$J$$!#(J
$@$?$@$7!"%N%s%0%i%s%ILdBj$N%Y%s%A%^!<%/$H$7$F9-$/MQ$$$i$l$F$$$k(J Condensed
Detachment $@LdBj$K$D$$$F$O!$NcBj$H$7$F%U%!%$%k$,ImB0$7$F$*$j!"%f!<%6$O$3$l(J
$@$i$N%U%!%$%k$rMQ$$$F!"<B:]$K(J MGTP/N $@$r<B9T$5$;!"B>$N%7%9%F%`$H$N%Q%U%)!<(J
$@%^%s%9Hf3SEy$r9T$J$&$3$H$,$G$-$k!#(J
$@$J$*!"(JProlog $@HG$G$N$3$l$i$NLdBj$KBP$9$k<B9T7k2L$K$D$$$F$O(J eval.ps
$@$r;2>H$5$l$?$$!#(J
($@$3$3$K(J$@4^$^$l$k$9$Y$F$NNcBj$,8=%P!<%8%g%s$G2r$1$k$o$1$G$O$J$$!#(J)
------------------------------------------------------------------------
Prolog $@HGA`:nK!(J
$@I,MW%U%!%$%k(J
mgtp.pl $@%$%s%?%W%j%?K\BN(J
mgtpS.pl $@%$%s%?%W%j%?K\BN(J($@%=!<%H5!G=IU(J)
unify.pl $@=P8=8!::IUC10l2=%W%m%0%i%`(J
Prob/pro*.pl ($@JQ49:Q$_(J)$@@5@a$H:.9g@a(J
Prob/pro*t.pl ($@JQ49:Q$_(J)$@4~5Q@a(J
$@%3%s%Q%$%k(J
$ sicstus
SICStus 2.1 #8: Tue May 11 21:04:52 JST 1993
| ?- compile([mgtp,unify]). : $@%$%s%?%W%j%?!$C10l2=%W%m%0%i%`$N%3%s%Q%$%k(J
yes
| ?-
$@<B9TNc(J
| ?- compile(['Prob/pro2.pl','Prob/pro2t']). : $@LdBj@a$N%3%s%Q%$%k(J
yes
| ?- do. : $@>ZL@3+;O(J
Succeed : $@>ZL@@.8y(J
yes
| ?-
$@!ZCm0U![0zB3$-LdBj$r2r$/>l9g!'(J
$@FbIt%G!<%?%Y!<%9$r(J init $@L?Na$G=i4|2=$7$?8e!$(J
$@?7$?$KLdBj@a$r%3%s%Q%$%k$9$kI,MW$,$"$k!%(J
| ?- init. : $@FbIt%G!<%?%Y!<%9=i4|2=(J
yes
| ?- compile(['Prob/pro5','Prob/pro5t']). : $@LdBj@a$r?7$?$K%3%s%Q%$%k(J
yes
| ?-