Programming Language - ALF

ALF

ALF - Algebraic Logic Functional language. WAM-based language with
narrowing/rewriting. Horn clauses with equality. Any functional
expression can be used in a goal. "The Implementation of the Functional-
Logic Language ALF", M. Hanus and A. Schwab.
ftp://ftp.germany.eu.net/pub/programming/languages/LogicFunctional/alf*
info: Rudolf Opalla

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

10 plus 9? *   Robot Spam Prevention

 

Next Language:   Alfl

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z