## -*- PARCAR/KP Parallel Abductive Reasoning System on KLIC+PVM -*- ##
## Copyright (C) 1997  Shohei Kato     Dept. of AI & Comp. Sci.,     ##
##                                     Nagoya Inst. of Tech, JAPAN   ##


[1] PARCAR/KP

PARCAR/KP is a parallel abductive reasoning system on KLIC+PVM. The KLIC
system is a portable and high-performance implementation of a concurrent
logic programming language KL1 through translation into language C. The PVM
(Parallel Virtual Machine), a software package that permits a heterogeneous
collection of Unix computers hooked together by a network to be used as a
single large parallel computer.


[2] Environment

PARCAR/KP is implemented on KLIC+PVM. The system requires that KLIC and PVM
systems are installed.

We have certified that PARCAR/KP can run on SunOS and Solaris2.x.


[3] Files

   File		        Comments
  --------------------------------------------------------
   examples/Format	Format of Example Problems
   Makefile             Makefile
   Readme-J|E           Directory Construction (Japanese|English)
   Manual-J|E           This File (Japanese|English)
   examples             Example Problems
   master               Source Code of Master Program
   slave                Source Code of Slave Program
   userdef.h            User Definitions
  --------------------------------------------------------
For more precise, please see the file, "Readme-E"


[4] Compile/Install

The system requires that KLIC version 2.0 (or newer ver.) and PVM version
3.3 (or newer ver.) are installed. please install them in advance if your
environment doesn't have them.

1. Check if $PVM_ROOT and $PVM_ARCH specified correctly.
   (ex., $PVM_ROOT=/usr/prv/share/pvm3, $PVM_ARCH=sun4)
2. Specify the path of slave program on <userdef.h>
3. Modify the libraries in <Makefile> so as to correspond with your
   environment. 
4. make 
5. make install
# The system will be installed under the dir: $HOME/pvm3/bin/$PVM_ARCH. 


[5] How to execute PARCAR/KP

1. Transforming a Knowledge-base
Any knowledge-base given to PARCAR/KP should be transformed into the
understandable form for the system.  Please use a program, <convert> for the 
transformation. 
  Usage:  DIR/convert < knowledge-base > filename
Please refer to examples/Format about the format of the knowledge-base. 
--
Note: DIR=directory of the installation (default: $HOME/pvm3/bin/$PVM_ARCH)


2. Executing PVM 
PVM is going by:
  $PVM_ROOT/lib/$PVM_ARCH/pvmd3 pvm_host_file
pvm_host_file contains list of machines to construct parallel virtual
machine and some options.
For more precise, please refer to the PVM documents.

3. Executing PARCAR/KP
PARCAR/KP is operated by: 
  DIR/master [-f parcarhost] [-s DIR/slave] knowledge-base
options:
-f pacarhost    machines utilized by PARCAR/KP are listed in parcarhost.
-s DIR/slave	<DIR/slave> is a path for slave program.
knowledge-base  Knowledge-base should be transformed by the above way. 
                PARCAR/KP loads a knowledge-base from standard-input if
                "knowledge-base" is replaced with "-". 
--
Note: DIR=directory of the installation (default: $HOME/pvm3/bin/$PVM_ARCH)


