用ocaml编写的逻辑程序，可以实现formule clausale，和resolution-Ocaml prepared using logic program

很好的函数式开发语言OCAML欢迎大家下载啊是未来语言发展的方向-Good function-the development language OCAML welcome everyone to download future direction of language development

初学ocaml语言，从简单到复杂。有7个文初学小程序。而后，在emacs环境下实现贪吃蛇的大程序。源代码，有障碍物。学习OCAML必备。-By using ocaml language in emacs environment to achieve Snake applet. Source code, there are obstacles.