Programming Language - Lolli

Lolli

Lolli - (named for the "lollipop" operator "-o") Based on linear logic, in
which clauses can be used exactly once. All the operators of lambda-
Prolog plus linear variations. Implemented in SML/NJ. Josh Hodas et al,
"Logic Programming in a Fragment of Intuitionistic Linear Logic",
Information and Computation, to appear.
ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-0.7.tar.Z

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

8 plus 6? *   Robot Spam Prevention

 

Next Language:   LOM

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