- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Sat, 9 Mar 2002 05:11:29 -0000
- To: "Tim Berners-Lee" <timbl@w3.org>, "Dan Connolly" <connolly@w3.org>
- Cc: <www-archive+n3bugs@w3.org>
Here's the input file:- [[[ @prefix : <#> . @prefix daml: <http://www.daml.org/2001/03/daml+oil#> . @prefix log: <http://www.w3.org/2000/10/swap/log#> . this log:forAll :x , :y , :z . :a :b :c . :l :m :n . :p :q (:r :s) . { :x :q [ daml:first :y; daml:rest [ daml:first :z ] ] } log:implies { :p :qfirst :y; :qrest :z } . ]]] the latest version of CWM gives the following:- [[[ :p :q ( :r :s ); :qfirst :r, :y; :qrest :r, :s, :z . ]]] where two things seem to be going wrong at once: unbound variables are getting output (:y, :z), and false results are being concluded (:qrest :r). In version 1.82 of CWM, I get the following output:- [[[ :p :q ( :r :s ) . ]]] I.e. the rule isn't applied at all. When I convert the rest input list to ":p :q [ daml:first :r; daml:rest [ daml:first :s; daml:rest daml:nil ] ] .", I get the same results. -- Kindest Regards, Sean B. Palmer @prefix : <http://purl.org/net/swn#> . :Sean :homepage <http://purl.org/net/sbp/> .
Received on Saturday, 9 March 2002 00:11:32 UTC