Version française
Home     About     Download     Resources     Contact us    
Browse thread
Algorithme pour la logique en Caml-Light.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe Raffalli <raffalli@c...>
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