Functional RuleML: From Horn Logic with Equality to Lambda Calculus ∗ (2005)
by
Harold Boley
BibTeX
@MISC{Boley05functionalruleml:,
author = {Harold Boley},
title = {Functional RuleML: From Horn Logic with Equality to Lambda Calculus ∗},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Functions are introduced to RuleML via orthogonal dimensions “constructor vs. userdefined”, “single- vs. set-valued”, “firstvs. higher-order”. This enables functionallogic programming for the Semantic Web. ∗Thanks to David Hirtle, Duong Dai Doan, and Thuy Thi Thu Le for helpful discussions and for improving the DTD. This research was partially supported by NSERC.
Citations
| 74 | Equational Logic as a Programming Language - O'Donnell - 1985 |
| 26 | Computing in Horn Clause Theories - Padawitz - 1988 |
| 21 | The OO jDREW Reference Implementation of RuleML - BALL, BOLEY, et al. - 2005 |
| 20 | Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms - BOLEY |
| 3 | Functional-Logic Integration via Minimal Reciprocal Extensions - Boley - 1999 |
| 3 | Why Functional Programming Really Matters - Kemp, Seefried - 1999 |
| 2 | Equational Logic as a Programming Language - Press, Oxford - 1998 |
| 1 | publication 2000/2039 - Press, Valencia - 2000 |
