Newsgroups: comp.ai.shells
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!MathWorks.Com!europa.eng.gtefsd.com!newsxfer.itd.umich.edu!isclient.merit.edu!msuinfo!harbinger.cc.monash.edu.au!bunyip.cc.uq.oz.au!marlin.jcu.edu.au!coral.cs.jcu.edu.au!xindong
From: xindong@coral.cs.jcu.edu.au (Xindong Wu)
Subject: Re: Efficient declarative forward chain
Message-ID: <1994Oct16.232929.8703@marlin.jcu.edu.au>
Sender: news@marlin.jcu.edu.au (USENET News System)
Organization: Dept Computer Science, James Cook University, Townsville
References: <S.WALLIS.94Oct14174857@alpheratz>
Date: Sun, 16 Oct 94 23:29:29 GMT
Lines: 20

In article <S.WALLIS.94Oct14174857@alpheratz> S.Wallis@mmu.ac.uk writes:
>Subject: Efficient declarative forward chaining
>
>Can anybody recommend a reference, and/or a public domain
>implementation, concerning a language/shell/Prolog program in which
>forward chaining of declarative rules can be carried out reasonably
>efficiently?

You may like to have a look at the following reference.

    Xindong Wu, LFA: A linear forward-chaining algorithm for AI
    production systems, Expert Systems, 10(1993): 237-242.

--

--
Dr Xindong Wu
Department of Computer Science          Telephone: +61 77 814617
James Cook University                   Fax: +61 77 814029
Townsville, Australia Qld 4811          Email: xindong@cs.jcu.edu.au
