Functional RuleML: From Horn Logic with Equality to Lambda Calculus

Download
  1. (PDF, 270 KB)
AuthorSearch for:
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
AbstractFunctions 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
LanguageEnglish
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)
  • Share this page with Delicious (Opens in a new window)