Algebraic Logic Functional language

0.01 sec.

(language)

Algebraic Logic Functional 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].

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Algarve Algebra Algebra of Communicating Processes Algebra of Logic algebra of subsets algebra with identity ALGEBRAIC algebraic addition algebraic closure of a field algebraic computation system algebraic curve algebraic data type algebraic deviation algebraic equation Algebraic Expression algebraic extension of a field Algebraic Function Algebraic Geometry algebraic hypersurface algebraic identity Algebraic Integer Algebraic Interpretive Dialogue algebraic invariant algebraic K theory algebraic language Algebraic Logic Functional language algebraic manipulation language Algebraic Manipulation Package Algebraic Number algebraic number field algebraic number theory algebraic object algebraic operation Algebraic Ring algebraic scattering theory algebraic set Algebraic Specification Language algebraic structure algebraic subtraction algebraic sum algebraic surface algebraic symbol algebraic term algebraic topology algebraic variety algebraically closed field algebraically complete field algebraically independent Algeciras Algeciras Conference alged malaria			Algebraic Forms Algebraic Forms Algebraic fraction Algebraic fraction Algebraic Frames for the Perception-Action Cycle Algebraic function Algebraic function Algebraic functions Algebraic functions Algebraic Functions of Views Algebraic General Topology Algebraic geometry Algebraic geometry Algebraic Geometry and Geometric Modeling Algebraic Geometry, Algebra, and Applications Algebraic Geometry: A Total Hypertext Online System Algebraic Hierarchical Equations for Application Design algebraic hypersurface Algebraic identity Algebraic independence Algebraic information theory Algebraic integer Algebraic Integer Quantization Algebraic integers Algebraic Interpretive Dialogue Algebraic invariant algebraic K theory algebraic language algebraic language Algebraic Logic Functional Algebraic Logic Functional language Algebraic Manipulation by Identity Translation algebraic manipulation language Algebraic Manipulation Package Algebraic Manipulation Package Algebraic Methodology and Software Technology Algebraic Methods in Language Processing Algebraic Methods of Solving the Schrödinger Equation Algebraic Multigrid Algebraic normal form Algebraic notation algebraic number algebraic number algebraic number algebraic number Algebraic number field Algebraic number fields Algebraic number theory Algebraic numbers Algebraic numbers algebraic object Algebraic Operating System Algebraic operation Algebraic Oriented Language Algebraic plane curve Algebraic plane curve Algebraic Programming Utilities Algebraic projective geometry Algebraic projective geometry Algebraic quantum field theory Algebraic Reconstruction Technique

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.