The W3C RIF working group has published six Last Call working drafts [1].
Of particular interest here is the RIF Production Rule Dialect[2] which
defines a language
dialect for exchange of production rules.
Please send any comments to public-rif-comme...@w3.org
by July 31, 2009.
Gary
[1]
Hal,
Jess' NOT CE does not implement NAF. It implements "inflationary
negation" semantics. Consider:
if not(P(1)) then print("fail.").
if P(0) then P(1).
P(0).
Prolog will never fail. Jess may fail, depending on conflict resolution.
Jess semantics is the usual semantics for production rules
Production rules typically use "slotted terms" which in Jess must be
declared using deftemplate (or you can use a java bean)
then you can assert such facts using
(assert (link (x1 ?value-of-x1) (y1 ?value-of-y1) (x2 ?value-of-x1) (y2
?value-of-y2))
and similarly for use as a pattern in a rul
Jess and most other production rule languages do not have Herbrand terms
that prolog-like languages use to model tree-structured facts. In your
case you can simply flatten your data model to a single fact with 2 x
and 2 y coordinates, as Hal suggests.
In more complex cases you may want to asser
preciate comments by 19 September, and please send them to
[EMAIL PROTECTED], which is a publically-archived mailing list.
We would like comment on editorial style ("I couldn't really understand
section 4.2.1 because...") as well as the more technical and
theoretical.
-- Gary H
