Algebraic Logic Functional language

Computing Dictionary

Algebraic Logic Functional language definition

language
(ALF) A language by Rudolf Opalla opalla@julien.informatik.uni-dortmund.de which combines functional programming and logic programming techniques.
ALF is based on Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. Any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations. ALF uses narrowing and rewriting.
ALF includes a compiler to Warren Abstract Machine code and run-time support.
(ftp://ftp.germany.eu.net/pub/programming/languages/LogicFunctional).
["The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab].
(1992-10-08)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
More from Thesaurus.com
Synonyms and Antonyms for algebraic logic functional language
More from Reference.com
Search for articles containing algebraic logic functional language
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature