			DRS install manual
										
1.Overview

This document explains how to install DRS, and its execution environment.Before
installing, read "2. Environment for installation" to confirm the system to be
used and set up the required environment.

The actual installation procedure is described in "3. Method for installation".

2.Environment for installation

Confirmed to run on following environments in execution and installation.

(1) hardware
	(a) machine
		Sun sparcStatiion 10
	(b) memory
		more than 32MB
	(c) harddisk
		more than 40MB

(2) software
	(a) OS
		SunOS 4.1.3
	(b) C compiler
		gcc-2.6.2
	(c) KLIC(KLIC is IFS program.)
		more than version1.7
	(d) environment of Japanese
		Needs following either gcc library or header file,
		when installs DRS that use knowlede source(rule,type)
		to include Japanese.
		
		* library
			libfl.a
		* header file
			euc.h

3. Method for installation

(0) installation of KLIC
    KLIC must be installation before installation of HELIC-II.

(1) Modification of Makefile

    Modifies following Variable Environment 'drs/src' in Makefile.

  (a) Modification of Flex

     (i) If there is flex library(libfl.a),must be modify as follows.

	Flex = exist

     (ii) If there is not flex library(libfl.a),must be modify as follows.

	Flex = nothing

  (b) Modification of LANG
      If there is flex library(libfl.a),does not modify as follows.

     (i) To use 2 byte characters for a rule and concept name, must be modify as
	 follows.

	LANG = japanese

         Note that the following header file is required in make;

	euc.h

     (ii) Does not use 2 byte characters for a rule and concept name, must be
	  modify as follows.
	
	LANG = english

(2) Execution of make

Changes current directory to 'drs/src',inputs as follows from shell.

	make 

When this command is executed,program is compiled and execution file 
is generated under drs/bin.

(3) Modification of shell variable environment(path).

DRS call translater program in translating rule and type.

This translater program is generated by executing 'make'.

Therefore,must be set file path of this translater program to 'path' that is
shell variable environment in .cshrc or .login.

For example,there is this translater program under ~/drs/bin,add this file path
to .cshrc or .login.

Before modification :
	set path = (~/)

After modification :
	set path = (~/ ~/drs/bin)

4.simple example

Simple example is as follows.

"+" means that upper character of "+" is user's inputs.

Current directory in this example is "drs/data".

! cd drs/data
  +++++++++++
! drs
  +++
DRS>run cntrct.c
    ++++++++++++
ok
DRS>ab
    ++
Goal : canWithdraw(agent=father,objec
0 :  p >:0!:3<:0
Please input number > 0
		      +
ArgJudge : plausible
RuleInfo({RuleName,TopRuleRel}) : {r11,nil}
0  :             r11:canWithdraw(agent=father,objec
1  :              r1:contract(agent=tarou[age=>{19}
2  :               act4:buy(agent=tarou[age=>{19}],imp
3  :               act5:loan(agent=tarou[age=>{19}],ob
4  :               act6:causality(source=buy(agent=tar
5  :    !J (2)    r6:-valid(a_object=contract(agent
6  :               act5:loan(agent=tarou[age=>{19}],ob
7  :               r1:contract(agent=tarou[age=>{19}
8  :                act4:buy(agent=tarou[age=>{19}],imp
9  :                act5:loan(agent=tarou[age=>{19}],ob
10 :                act6:causality(source=buy(agent=tar
11 :    !J (1)     r2:needAllow(agent=father,a_objec
12 :                r1:contract(agent=tarou[age=>{19}
13 :                 act4:buy(agent=tarou[age=>{19}],imp
14 :                 act5:loan(agent=tarou[age=>{19}],ob
15 :                 act6:causality(source=buy(agent=tar
16 :                act0:isFather(a_object=father,basis
17 :               act10:-allow(agent=father,object=loa
18 :               act0:isFather(a_object=father,basis
19 :              act0:isFather(a_object=father,basis
UseCommand:  : [end,show,set]
>end
 +++
ok
DRS>quit
    ++++


