From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA29919; Thu, 25 Jul 2002 15:30:27 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA29800 for ; Thu, 25 Jul 2002 15:30:27 +0200 (MET DST) Received: from lists.utu.fi (lac.utu.fi [130.232.1.36]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6PDUQT24467 for ; Thu, 25 Jul 2002 15:30:26 +0200 (MET DST) Received: by lists.utu.fi (Postfix, from userid 60001) id C4D864B5D3; Thu, 25 Jul 2002 16:30:25 +0300 (EET DST) To: Oleg Subject: Re: [Caml-list] Rule based language Message-ID: <1027603825.3d3ffd7192c8d@webmail.utu.fi> Date: Thu, 25 Jul 2002 16:30:25 +0300 (EET DST) From: sajuma@utu.fi Cc: caml-list@inria.fr References: <1027549877.3d3f2ab5bff5c@webmail.utu.fi> <200207250626.CAA03249@dewberry.cc.columbia.edu> In-Reply-To: <200207250626.CAA03249@dewberry.cc.columbia.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: IMP/PHP IMAP webmail program 2.2.5 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I did not misunderstand. I use multiplicative AND. All three > programs give equivalent output when they all finish for all > cases I looked at. If you only looked cases like your "test.input", they are not very reliable, because all the satisfiable goals are in the dataset at the beginning, and other goals are not reachable at all. I guess none of the other goals is actually on the right side of the rules. OTOH my pigeons example shows the difference: ./rules < pigeons.prog Goal x: found Goal y: found Goal z: found ./rules.opt < pigeons.prog Goal x: (big plan found by dfs) Goal y: not found Goal z: not found For some reason you missed my attachment or you have changed your program after sending it to the list. Here is a more simple example that shows the difference: ------------------------------ ruleset: 1 is a => b; dataset: a; goals: g is a and b; ------------------------------ The meaning of Rule 1 is that if "a" is in the dataset, then it is removed from the dataset, and "b" is added to the dataset. The meaning of goal "g" is that both "a" and "b" are in the dataset after some sequence of rule activations. In this case, additive and multiplicate readings are different, because it is possible to reach both "a" and "b", but they cannot coexists. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners