Article View: comp.lang.prolog
Article #3914Re: Forward chaining production systems on Prolog?
From: Tim Finin
Date: Sun, 19 Feb 1989 04:43
Date: Sun, 19 Feb 1989 04:43
20 lines
1583 bytes
1583 bytes
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)
Technical Details
Message-ID:
<9315@burdvax.PRC.Unisys.COM>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!iuvax!rutgers!njin!princeton!udel!burdvax!finin@hamletReferences:
<4302@pt.cs.cmu.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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)