[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-hackers] submission of LoLa -- LOgic LAnguage - savannah.nongn
From: |
casse |
Subject: |
[Savannah-hackers] submission of LoLa -- LOgic LAnguage - savannah.nongnu.org |
Date: |
Thu, 17 Oct 2002 14:55:21 -0400 |
User-agent: |
Mozilla/5.0 Galeon/1.0.3 (X11; Linux i686; U;) Gecko/0 |
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:
- [Savannah-hackers] submission of LoLa -- LOgic LAnguage - savannah.nongnu.org,
casse <=