From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id NAA14393 for caml-redistribution; Mon, 28 Aug 1995 13:44:12 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id PAA27436 for ; Wed, 2 Aug 1995 15:05:58 +0200 Received: from waldorf.cs.chalmers.se (raffalli@waldorf.cs.chalmers.se [129.16.226.10]) by concorde.inria.fr (8.6.10/8.6.9) with ESMTP id PAA04081 for ; Wed, 2 Aug 1995 15:05:56 +0200 Received: (from raffalli@localhost) by waldorf.cs.chalmers.se (8.6.11/8.6.9) id PAA14380; Wed, 2 Aug 1995 15:05:49 +0200 Date: Wed, 2 Aug 1995 15:05:49 +0200 Message-Id: <199508021305.PAA14380@waldorf.cs.chalmers.se> From: Christophe Raffalli To: caml-list@pauillac.inria.fr Subject: Algorithme pour la logique en Caml-Light. Sender: weis 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