(26) A Parallel Abductive Reasoning System

Dr. Hidenori Ito, Professor, Nagoya Institute of Technology
(itoh@ics.nitech.ac.jp, shohey@juno.ics.nitech.ac.jp)

Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese)

A Parallel Abductive Reasoning System on KLIC+PVM

PARCAR/KP

PARCAR/KP is a parallel abductive reasoning system on KLIC+PVM. The KLIC system is a portable and high-performance implementation of the concurrent logic programming language, KL1, through translation into language C. The PVM(Parallel Virtual Machine), is 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.

PARCAR 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.

Files


      The package is constructed as follows:      
        File              Contents
        --------------------------------------------------------
        examples/Format&  Format of Example Problems
        Makefile          Makefile
        Readme-J|E        Directory Construction (Japanese|English)
        Manual-J|E        User's Manual (Japanese|English)
        examples          Example Problems
        master            Source Code of Master Program
        slave             Source Code of Slave Program
        userdef.h         User Definitions
        --------------------------------------------------------
      For more precise information, please refer to Readme-E.



FTP

 README
 Program and Documents in Japanese 48[K]







	To the Home Page
	


www-admin@icot.or.jp