Copyright © Philip M. Parker, INSEAD. Terms of Use.

ALGEBRAIC LOGIC FUNCTIONAL LANGUAGE

Specialty Definition: ALGEBRAIC LOGIC FUNCTIONAL LANGUAGE

DomainDefinition

Computing

Algebraic Logic Functional language (ALF) A language by Rudolf Opalla 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). Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Crosswords: ALGEBRAIC LOGIC FUNCTIONAL LANGUAGE

Specialty definitions using "ALGEBRAIC LOGIC FUNCTIONAL LANGUAGE": ALF. (references)

Top     

Alternative Orthography: ALGEBRAIC LOGIC FUNCTIONAL LANGUAGE


Hexadecimal (or equivalents, 770AD-1900s) (references)

41 4C 47 45 42 52 41 49 43      4C 4F 47 49 43      46 55 4E 43 54 49 4F 4E 41 4C      4C 41 4E 47 55 41 47 45

Leonardo da Vinci (1452-1519; backwards) (references)

            

Binary Code (1918-1938, probably earlier) (references)

01000001 01001100 01000111 01000101 01000010 01010010 01000001 01001001 01000011 00100000 01001100 01001111 01000111 01001001 01000011 00100000 01000110 01010101 01001110 01000011 01010100 01001001 01001111 01001110 01000001 01001100 00100000 01001100 01000001 01001110 01000111 01010101 01000001 01000111 01000101

HTML Code (1990) (references)

&#65 &#76 &#71 &#69 &#66 &#82 &#65 &#73 &#67 &#32 &#76 &#79 &#71 &#73 &#67 &#32 &#70 &#85 &#78 &#67 &#84 &#73 &#79 &#78 &#65 &#76 &#32 &#76 &#65 &#78 &#71 &#85 &#65 &#71 &#69

ISO 10646 (1991-1993) (references)

0041 004C 0047 0045 0042 0052 0041 0049 0043      004C 004F 0047 0049 0043      0046 0055 004E 0043 0054 0049 004F 004E 0041 004C      004C 0041 004E 0047 0055 0041 0047 0045

Encryption (beginner's substitution cypher): (references)

3546413936523543372464941433724055483754434948354624635484155354139

Top     



INDEX

1. Crosswords
2. Orthography
3. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.