stack1.cpp

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

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


#pragma hdrstop

#include "Stack1.h"

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

#pragma package(smart_init)