[Savannah-hackers] submission of LoLa -- LOgic LAnguage - savannah.nongnu.org

[casse]

A package was submitted to savannah.nongnu.org
This mail was sent to address@hidden, address@hidden


Hugues Cassé <address@hidden> described the package as follows:
License: lgpl
Other License: 
Package: LoLa -- LOgic LAnguage
System name: lola
Type: non-GNU

Description:
LoLa is a command line software dedicated to the initiation to the 
propositionnal logic and to learn the classic logic.
  It is not assumed neither to be performant (like SAT, for example), nor to be 
a complete logic software for handling knowledge base.
  Its primary goal is simple: initiate people to the logic theory using easy 
samples that may be processed by LoLa.
 
  Shortly, LoLa is composed of a powerful logic language interpreter allowing 
to:
- entering logic formula,
- performing computation for answering to logic question,
- saving and loading environment produced by the computation.

After the explanation say:
It already exists and you can download the latest distribution at 
http://http://10ontario.free.fr/lola/



Other Software Required:
OCAML

Other Comments: