Date: Wed, 2 Aug 1995 15:05:49 +0200
Message-Id: <199508021305.PAA14380@waldorf.cs.chalmers.se>
From: Christophe Raffalli <raffalli@cs.chalmers.se>
To: caml-list@pauillac.inria.fr
Subject: Algorithme pour la logique en Caml-Light.
Bonjour a tous,
J'ai plusieurs exemples de programmes qui pourraient interesser certains ...
Il s'agit d'une implementation commentee (les commentaires sont en francais et
lisible sous forme de fichier DVI) d'algorithmes utilises en logique:
- procedures de decision pour le calcul propositionnel,
- algorithmes d'unification (dont un lineaire)
- un petit demonstrateur de theoremes pour le calcul des predicats du
premier ordre.
Adresse URL:
http://boole.logique.jussieu.fr/www.raffalli/findex.html#examples
-- Christophe Raffalli Chalmers University / Logic team of Paris VII