Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!asuvax!noao!arizona!rick
From: chou@cs.ucla.edu (Ching-Tsun Chou)
Newsgroups: comp.research.japan
Subject: Looking for PX
Message-ID: <1991Jun6.200650.29412@cs.ucla.edu>
Date: 6 Jun 91 20:06:50 GMT
Sender: rick@cs.arizona.edu
Organization: UCLA Computer Science Department
Lines: 7
Approved: rick@cs.arizona.edu
Originator: chou@maui.cs.ucla.edu

Does anyone out there know where and how to obtain a (preferably free)
implementation of the computational logic PX as described in the book
"PX, a computational logic" by Susumu Hayashi and Hiroshi Nakano?
Any pointer is appreciated.
 
Cheers,
Ching-Tsun <chou@cs.ucla.edu>