Functional RuleML: From Horn Logic with Equality to Lambda Calculus

From National Research Council Canada

  1. (PDF, 241 KiB)
AuthorSearch for:
FormatText, Article
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
Publication date
NRC numberNRCC 48539
NPARC number8913565
Export citationExport as RIS
Report a correctionReport a correction (opens in a new tab)
Record identifier4b68ff09-40bc-4b8f-9e22-f3f72bbc57c8
Record created2009-04-22
Record modified2021-12-07
Date modified: