unit2my.dfm

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

object Form2: TForm2
  Left = 319
  Top = 85
  BorderStyle = bsDialog
  Caption = 'Resolution Result'
  ClientHeight = 581
  ClientWidth = 465
  Color = clBtnFace
  Font.Charset = DEFAULT_CHARSET
  Font.Color = clWindowText
  Font.Height = -11
  Font.Name = 'MS Sans Serif'
  Font.Style = []
  FormStyle = fsStayOnTop
  OldCreateOrder = False
  Position = poScreenCenter
  OnShow = FormShow
  PixelsPerInch = 96
  TextHeight = 13
  object Bevel1: TBevel
    Left = 8
    Top = 520
    Width = 449
    Height = 49
  end
  object Closer: TButton
    Left = 96
    Top = 536
    Width = 129
    Height = 25
    Caption = '&Close'
    TabOrder = 0
    OnClick = CloserClick
  end
  object Save: TButton
    Left = 256
    Top = 536
    Width = 129
    Height = 25
    Caption = '&Save...'
    TabOrder = 1
    OnClick = SaveClick
  end
  object Memo1: TMemo
    Left = 8
    Top = 16
    Width = 449
    Height = 489
    Cursor = crIBeam
    Font.Charset = DEFAULT_CHARSET
    Font.Color = clNavy
    Font.Height = -15
    Font.Name = 'MS Sans Serif'
    Font.Style = []
    ParentFont = False
    ReadOnly = True
    ScrollBars = ssVertical
    TabOrder = 2
  end
  object SaveDialog1: TSaveDialog
    DefaultExt = '*.txt'
    Filter = 'Textfile(*.txt)|*.txt'
    Left = 208
    Top = 72
  end
end