命题逻辑系统的自动推理

本程序用归结反演策略实现了命题逻辑系统的自动推理 归结方法的基本算法很简单，每次从子句集中选择两个可进行归结的子句，求它们的归结式，如果归结式为NIL，则算法结束，结论得证。如果归结式不为空，则将该归结式加入到子句集中，继续以上过程。

//---------------------------------------------------------------------------

#include 
#pragma hdrstop
//---------------------------------------------------------------------------
USEFORM（“Unit1my.cpp“ Form1）;
USEFORM（“Unit2my.cpp“ Form2）;
USEFORM（“Unit3my.cpp“ Form3）;
//---------------------------------------------------------------------------
WINAPI WinMain（HINSTANCE HINSTANCE LPSTR int）
{
        try
        {
                 Application->Initialize（）;
                 Application->CreateForm（__classid（TForm1） &Form1）;
                 Application->Run（）;
        }
        catch （Exception &exception）
        {
                 Application->ShowException（&exception）;
        }
        catch （...）
        {
                 try
                 {
                         throw Exception（““）;
                 }
                 catch （Exception &exception）
                 {
                         Application->ShowException（&exception）;
                 }
        }
        return 0;
}
//---------------------------------------------------------------------------

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件      82432  2005-03-03 15:23  Autologic\Autologic\back\1 系统总体介绍.doc

     文件      19456  2005-03-03 15:23  Autologic\Autologic\back\5 字符映射和逆波兰变换.doc

     文件      19456  2005-03-03 15:23  Autologic\Autologic\back\6 逻辑蕴含.doc

     文件      19456  2005-03-03 15:23  Autologic\Autologic\back\7 逻辑求逆的消去处理.doc

     文件      22528  2005-03-03 15:23  Autologic\Autologic\back\9 归结反演.doc

     文件      58417  2005-03-03 15:23  Autologic\Autologic\back\SNAG-0000.jpg

     目录          0  2008-12-20 19:48  Autologic\Autologic\back

     文件      33792  2008-11-20 21:47  Autologic\Autologic\Debug\vc60.idb

     文件      28672  2008-11-20 21:47  Autologic\Autologic\Debug\vc60.pdb

     目录          0  2008-11-20 21:43  Autologic\Autologic\Debug

     文件    2837528  2008-11-23 02:22  Autologic\Autologic\Debug_Build\Project1my.#00

     文件      20504  2008-11-23 02:22  Autologic\Autologic\Debug_Build\Project1my.obj

     文件   12485150  2008-11-23 02:22  Autologic\Autologic\Debug_Build\Project1my.pch

     文件      20306  2008-11-23 02:22  Autologic\Autologic\Debug_Build\Stack1.obj

     文件     162796  2008-11-23 02:22  Autologic\Autologic\Debug_Build\Unit1my.obj

     文件      71240  2008-11-23 02:22  Autologic\Autologic\Debug_Build\Unit2my.obj

     文件      49866  2008-11-23 02:22  Autologic\Autologic\Debug_Build\Unit3my.obj

     目录          0  2008-11-23 02:22  Autologic\Autologic\Debug_Build

     文件       4251  2005-03-03 15:22  Autologic\Autologic\Project1my.bpr

     文件      14117  2008-11-23 02:35  Autologic\Autologic\Project1my.cbproj

     文件         62  2008-11-23 02:35  Autologic\Autologic\Project1my.cbproj.local

     文件       1135  2008-11-20 21:44  Autologic\Autologic\Project1my.cpp

     文件       3513  2008-11-20 21:47  Autologic\Autologic\Project1my.dsp

     文件        528  2008-11-20 21:47  Autologic\Autologic\Project1my.dsw

     文件     581120  2008-11-23 02:22  Autologic\Autologic\project1my.exe

     文件        246  2008-11-23 02:22  Autologic\Autologic\Project1my.map

     文件      33792  2008-11-20 21:47  Autologic\Autologic\Project1my.ncb

     文件      15257  2005-03-03 15:22  Autologic\Autologic\Project1my.obj

     文件      48640  2008-11-20 21:47  Autologic\Autologic\Project1my.opt

     文件       1588  2008-11-20 21:47  Autologic\Autologic\Project1my.plg

............此处省略45个文件信息