| Download | - View accepted manuscript: Functional RuleML: From Horn Logic with Equality to Lambda Calculus (PDF, 241 KiB)
|
|---|
| Author | Search for: Boley, Harold |
|---|
| Format | Text, Article |
|---|
| Conference | UPGRADE, The European Journal for the Informatics Professional, December 2005. |
|---|
| Subject | RuleML; logic programming; functional programming; Horn logic with equality; interpretedness; valuedness; conditional equations; higher-order functions; lambda calculus; programmation logique; programmation fonctionnelle; logique Horn avec égalité; interprétabilité; valeur; équations conditionnelles; fonctions d'ordre supérieur; calcul lambda |
|---|
| Abstract | Functions are introduced to RuleML via orthogonal dimensions "constructor vs. userdefined", "single- vs. set-valued", "firstvs. higher-order". This enables functional logic programming for the Semantic Web. |
|---|
| Publication date | 2005 |
|---|
| In | |
|---|
| Language | English |
|---|
| NRC number | NRCC 48539 |
|---|
| NPARC number | 8913565 |
|---|
| Export citation | Export as RIS |
|---|
| Report a correction | Report a correction (opens in a new tab) |
|---|
| Record identifier | 4b68ff09-40bc-4b8f-9e22-f3f72bbc57c8 |
|---|
| Record created | 2009-04-22 |
|---|
| Record modified | 2021-12-07 |
|---|
