Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!rutgers!njin!princeton!udel!burdvax!finin@hamlet
From: finin@hamlet (Tim Finin)
Newsgroups: comp.lang.prolog
Subject: Re: Forward chaining production systems on Prolog?
Keywords: production system
Message-ID: <9315@burdvax.PRC.Unisys.COM>
Date: 19 Feb 89 04:43:22 GMT
References: <4302@pt.cs.cmu.edu>
Sender: news@PRC.Unisys.COM
Reply-To: finin@hamlet (Tim Finin)
Organization: Unisys - Paoli Research Center   Paoli, PA
Lines: 20
In-reply-to: yk@a.nl.cs.cmu.edu (Yasusi Kanada)

In article <4302@pt.cs.cmu.edu>, yk@a.nl (Yasusi Kanada) writes:
>There are a lot of backward chaining production systems implemented in
>Prolog, because they match the nature of Prolog and it's quite easy to
>implement them.  On the other hand, as far as I know, there are rather
>few implementation of forward chaining production systems such as OPS5
>implemented in Prolog.  The following are the examples....
>...Do you know other references?  Thanks in advance.

We've devloped one which is described in:
  @inproceedings{Finin89a,
     AUTHOR = "Tim Finin and Rich Fritzson and Dave Matuzsek",
     TITLE = "Adding Forward Chaining and Truth Maintenance to Prolog",
     BOOKTITLE = "IEEE Conference on Artificial Intelligence Applications",
     MONTH = "March",
     YEAR = "1989"}
-- 
 Tim Finin			finin@prc.unisys.com (internet)
 Unisys Paoli Research Center	..!{psuvax1,sdcrdcf,cbmvax}!burdvax!finin (uucp)
 PO Box 517			215-648-7446 (office), 215-386-1749 (home),
 Paoli, PA 19301		215-648-7412 (fax)