| Téléchargement | - Voir le manuscrit accepté : Functional RuleML: From Horn Logic with Equality to Lambda Calculus (PDF, 241 Kio)
|
|---|
| Auteur | Rechercher : Boley, Harold |
|---|
| Format | Texte, Article |
|---|
| Conférence | UPGRADE, The European Journal for the Informatics Professional, December 2005. |
|---|
| Sujet | RuleML; logic programming; functional programming; Horn logic with equality; interpretedness; valuedness; conditional equations; higher-order functions; RuleML; programmation logique; programmation fonctionnelle; logique Horn avec égalité; interprétabilité; valeur; équations conditionnelles; fonctions d'ordre supérieur; calcul lambda |
|---|
| Résumé | Des fonctions sont introduites dans RuleML grâce aux dimensions orthogonales « constructor vs. userdefined », « single- vs. set-valued » et « firstvs. higher-order ». Cela permet la programmation logique fonctionnelle pour le Web sémantique. |
|---|
| Date de publication | 2005 |
|---|
| Dans | |
|---|
| Langue | anglais |
|---|
| Numéro du CNRC | NRCC 48539 |
|---|
| Numéro NPARC | 8913565 |
|---|
| Exporter la notice | Exporter en format RIS |
|---|
| Signaler une correction | Signaler une correction (s'ouvre dans un nouvel onglet) |
|---|
| Identificateur de l’enregistrement | 4b68ff09-40bc-4b8f-9e22-f3f72bbc57c8 |
|---|
| Enregistrement créé | 2009-04-22 |
|---|
| Enregistrement modifié | 2021-12-07 |
|---|
