W3C home > Mailing lists > Public > www-archive@w3.org > April 2007

Re: N3->IKL translation seems to work... bug policy rules and log:includes are hairy

From: Dan Connolly <connolly@w3.org>
Date: Sun, 22 Apr 2007 21:14:16 -0500
To: Pat Hayes <phayes@ihmc.us>
Cc: hhalpin@ibiblio.org, www-archive@w3.org
Message-Id: <1177294457.9528.6.camel@dirk>

On Sun, 2007-04-22 at 16:33 -0400, Pat Hayes wrote:
> >Dan Connolly wrote:
> >>   http://www.w3.org/2000/10/swap/n3absyn.py
[...]
> So, here's how to write the above example:
> 
> (forall (a b)(if (and (a)(b)) ((that (and (a)(b)) )) ))

> ... See?

Ah... yes, I see now.

Hmm.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Monday, 23 April 2007 02:14:19 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:33:06 UTC