solitaire.txt --- description of solitaire game
solitaire.ll  --- code for a simple triangular solitaire game
database.ll   --- code for a simple linear logic database implementation
