W3C home > Mailing lists > Public > public-rif-wg@w3.org > February 2008

a "modest proposal" for PRD

From: Gary Hallmark <gary.hallmark@oracle.com>
Date: Wed, 20 Feb 2008 01:37:26 -0800
Message-ID: <47BBF4D6.1050203@oracle.com>
To: W3C RIF WG <public-rif-wg@w3.org>

Start with exactly the BLD syntax.  Add just 1 or 2 "hard" things (e.g. 
retraction and rule priority) that are common in PR and make a model 
theory very difficult.  Do not respecify the syntax, just add the new 
elements.  Develop an Operational Semantics for it, as defined by 
Plotkin in http://homepages.inf.ed.ac.uk/gdp/publications/sos_jlap.pdf.  
Do not spend time on informal semantics that can only diverge from the 
formal semantics.  Only after PRD has caught up with BLD in terms of 
semantic rigor should it incorporate negation, aggregation, other 
actions, etc.

The task of developing a formal Operational Semantics for PRD is not 
trivial and would be best attempted by someone who has done something 
similar before.


Oracle <http://www.oracle.com>
Gary Hallmark | Architect | +1.503.525.8043
Oracle Server Technologies
1211 SW 5th Avenue, Suite 800
Portland, OR 97204
Received on Wednesday, 20 February 2008 09:40:20 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:49 UTC