ISSUE-40: Builtins and logic functions in BLD [CP]

Builtins and logic functions in BLD [CP]

State:
CLOSED
Product:
Technical Design (multiple dialects/documents)
Raised by:
Christopher Welty
Opened on:
2007-10-02
Description:
At the moment the WG has agreed to support \"builtins\", in particular those
defined for supported XS datatypes, however the syntactic and semantic treatment
of builtins has not been made clear.

A) One issue is how they will relate to functions in the syntax (e.g. are builtins just logic functions?).

B) Another issue is whether builtins will be sensitive to \"order\" as they are in query languages and production rules; in these cases, the order is understood to be required to \"bind\" variables before the builtin is called.

C) Another issue is how to treat errors in predicates and functions.
Related Actions Items:
No related actions
Related emails:
  1. draft minutes from RIF telecon, 11 March 2008 (from cleo@us.ibm.com on 2008-03-11)
  2. AW: [Admin] Agenda for RIF telecon March 11 (from adrian.paschke@biotec.tu-dresden.de on 2008-03-11)
  3. Re: [Admin] Agenda for RIF telecon March 11 (from debruijn@inf.unibz.it on 2008-03-10)
  4. [Admin] Agenda for RIF telecon March 11 (from csma@ilog.fr on 2008-03-10)
  5. Closing Issue-40 (Builtins) (from cawelty@gmail.com on 2008-03-04)
  6. Re: (ISSUE-40) Builtins and logic functions in BLD (from axel.polleres@deri.org on 2007-12-06)
  7. ACTION -393 completet (was: Re: (ISSUE-40) Builtins and logic functions in BLD) (from axel.polleres@deri.org on 2007-12-06)
  8. Re: (ISSUE-40) Builtins and logic functions in BLD (from csma@ilog.fr on 2007-12-03)
  9. Re: (ISSUE-40) Builtins and logic functions in BLD (from kifer@cs.sunysb.edu (Michael Kifer) on 2007-12-03)
  10. Re: (ISSUE-40) Builtins and logic functions in BLD (from csma@ilog.fr on 2007-11-20)
  11. Re: (ISSUE-40) Builtins and logic functions in BLD (from kifer@cs.sunysb.edu (Michael Kifer) on 2007-11-20)
  12. Re: (ISSUE-40) Builtins and logic functions in BLD (from der@hplb.hpl.hp.com on 2007-11-16)
  13. Re: (ISSUE-40) Builtins and logic functions in BLD (from kifer@cs.sunysb.edu (Michael Kifer) on 2007-11-16)
  14. (ISSUE-40) Builtins and logic functions in BLD (from paula.patranjan@ifi.lmu.de on 2007-11-15)
  15. Re: (ISSUE-40) Builtins and logic functions in BLD (from kifer@cs.sunysb.edu (Michael Kifer) on 2007-11-15)
  16. ISSUE-40: Builtins and logic functions in BLD (from dean+cgi@w3.org on 2007-10-02)

Related notes:

See the wiki page: http://www.w3.org/2005/rules/wg/wiki/List_of_BLD_built-ins

14 Dec 2007, 00:00:00

A) Resolved by WG consensus at the Telecon 11 December 2007 to distinguish builtins from logic functions in the syntax. In addition, at the 12 February 2008 Telecon the WG resolved by consensus that builtin functions would be treated as functions, as opposed to requiring them to be treated as predicates with an extra argument. See http://lists.w3.org/Archives/Public/public-rif-wg/2007Dec/att-0087/2007-12-11-rif-minutes.html and http://lists.w3.org/Archives/Public/public-rif-wg/2008Feb/att-0094/12-rif-minutes.html.

Christopher Welty, 4 Mar 2008, 15:15:29

C) Resolved by WG consensus at F2F9 that Functions on error return an error element that is in the domain. The BLD Spec does not require that predicates return F on error, just that they have a truth value. BLD spec recommends using guards with builtins, to give predictability. Without guards, rules may behave unpredictability on error. See http://www.w3.org/2005/rules/wiki/F2F9_Minutes

Christopher Welty, 4 Mar 2008, 15:17:14

B) Resolved by WG consensus at the 11 March 2008 telecon that builtins in BLD are not sensitive to order of evaluation.

Christopher Welty, 25 Mar 2008, 14:24:58

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: 40.html,v 1.1 2013-02-08 09:09:35 vivien Exp $