Functional RuleML: From Horn Logic with Equality to Lambda Calculus

From National Research Council Canada

Download
  1. (PDF, 575 KB)
AuthorSearch for:
FormatText
TypeArticle
Proceedings titleCouncil of European Professional Informatics Societies, ATI
ConferenceUPGRADE, The European Journal for the Informatics Professional, December 2005.
SubjectRuleML; 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
Publication date
LanguageEnglish
NRC number48539
NPARC number8913565
Export citationExport as RIS
Report a correctionReport a correction
Record identifier4b68ff09-40bc-4b8f-9e22-f3f72bbc57c8
Record created2009-04-22
Record modified2019-03-14
Date modified: