algebraic logic functional language
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of algebraic logic functional language words
- noun Technical meaning of algebraic logic functional language (language) (ALF) A language by Rudolf Opalla <[email protected]> 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. 1
Information block about the term
Parts of speech for Algebraic logic functional language
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with a
- Words starting with al
- Words starting with alg
- Words starting with alge
- Words starting with algeb
- Words starting with algebr
- Words starting with algebra
- Words starting with algebrai
- Words starting with algebraic
- Words starting with algebraicl
- Words starting with algebraiclo
- Words starting with algebraiclog
- Words starting with algebraiclogi
- Words starting with algebraiclogic
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?