Functional RuleML: From Horn Logic with Equality to Lambda Calculus

  1. (PDF, 270 KB)
AuthorSearch for:
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
Publication date
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number48539
NPARC number8913565
Export citationExport as RIS
Report a correctionReport a correction
Record identifier4b68ff09-40bc-4b8f-9e22-f3f72bbc57c8
Record created2009-04-22
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
Date modified: