文件名称:projetdeLMC
介绍说明－－下载内容均来自于网络，请自行研究使用
用ocaml编写的逻辑程序，可以实现formule clausale，和resolution-Ocaml prepared using logic program
(系统自动生成,下载前可以参看下载内容)
下载文件列表
projet de LMC
.............\clausal.ml
.............\Genlex.ml
.............\houdaf[1]1.doc
.............\LMC.ml
.............\projet.txt
.............\ProjetLMC.ml
.............\sujet.pdf
.............\clausal.ml
.............\Genlex.ml
.............\houdaf[1]1.doc
.............\LMC.ml
.............\projet.txt
.............\ProjetLMC.ml
.............\sujet.pdf