ISSUE-71: How can Core access external functions?

External functions in Core

How can Core access external functions?

State:
CLOSED
Product:
Core
Raised by:
Dave Reynolds
Opened on:
2008-08-21
Description:
DTB defines many operations that would be useful in CORE but defines them as functions rather than predicates and the current sketch of Core excludes equality and so has no easy way to obtain the results of such functions.

Options here would include:
(a) allow some syntactically restricted assignment-like use of equality in CORE to allow the results of external functions to be accessed;
(b) define predicate versions of those functions as part of CORE.
(c) define predicate versions of those functions in DTB.
Related Actions Items:
No related actions
Related emails:
  1. Re: [Core] PROPOSED Core resolutions from telecon Monday, September 22 (from debruijn@inf.unibz.it on 2008-09-26)
  2. RE: [Core] PROPOSED Core resolutions from telecon Monday, September 22 (from palbert@ilog.fr on 2008-09-24)
  3. RE: [Core] PROPOSED Core resolutions from telecon Monday, September 22 (from pvincent@tibco.com on 2008-09-23)
  4. [Core] PROPOSED Core resolutions from telecon Monday, September 22 (from Harold.Boley@nrc-cnrc.gc.ca on 2008-09-23)
  5. RE: RIF-Core: proposing resolutions to current issues / RE: [Core] Core telecon Monday, September 22 (from Harold.Boley@nrc-cnrc.gc.ca on 2008-09-19)
  6. [Core] Core telecon Monday, September 22 (from Harold.Boley@nrc-cnrc.gc.ca on 2008-09-17)
  7. munutes of the Sep 16 RIF telecon (from kifer@cs.sunysb.edu (Michael Kifer) on 2008-09-16)
  8. ISSUE-71 (External functions in Core): How can Core access external functions? [Core] (from sysbot+tracker@w3.org on 2008-08-21)

Related notes:

At F2F11, the WG resolved to close this issue, see http://www.w3.org/2005/rules/wg/meeting/2008-09-27#resolution_6. This was based on the previous resolution that Core should keep unrestricted equality and external function and predicate calls in rule conditions and keep external functions calls in rule conclusions (http://www.w3.org/2005/rules/wg/meeting/2008-09-27#resolution_5).

Christopher Welty, 30 Sep 2008, 14:29:12

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 71.html,v 1.1 2013-02-08 09:09:36 vivien Exp $