% Copyright (C) 1996  Katsumi Inoue 
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% advertise.txt            %%%
%%%         by Katsumi Inoue %%%
%%%         (1996.6.13)      %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

ֹΤοץγȯ
ݥ֥ƥץߥ󥰽ϡ

եȥҲ
--------------------------

եȥ̾

  ֥֥ƥץߥ󥰽ϡProlog ǡˡ
    (Abductive Logic Programming System; ALP system)
  ̾Ρ ALP-MGTP (Prolog )

ħ뵡ǽ

   (ǽ) ALP οǰܥȥॢåפ˷׻롥οǰ ALP 
          Ҥ줿ǥեȼ䲾ޤࡤäȤ⹥ޤǽ
          бǥǤ롥ޤ ALP Фǽ
          ꡤͿ줿ФƾȤʤ벾դƲ֤

   () ALP  NAF η׻ˡȤʤְ塦¼Ĺëס֥
          η׻ˡȤʤ Skip ʤӤˤη
          äơ쳬ҸѴѴ MGTP ؤϤȤ
          ǥ빽ۤԤ¬륢֥ǽ
          Ʊͤˤ MGTP νѴη̤Ѵ뤳Ȥǡ
          桼󼨤롥

   (ħ) ALP ϼԤˤ (NAF) ȲƱ˵ҤǤץ
          γĥ饹ǤꡤץߥʬˤƤϡμ
          ɽȤƤεǽι⤵ˤꡤ˴ԤƤ롥ޤ
          Ǥ⹭饹ˤƤϡ⵭ҲǽǤ롥ܥ
          ȥϡΤ褦˥֥ñĴʥǥեȿ
          Ʊ˹ԤνϤǤ롥ޤǤ ALP ʬŪʥ饹
          ˤƤϡȥåץϤƤƤ뤬ΨǤä
          ܥեȥϥܥȥॢåǤ뤿ᡤޤह٤Ƥ
          ͭ¤ʥ饹ŬѲǽǤꡤޤ MGTP ι®ѤơΨ
          Ū ALP Ϥ¸Ƥ롥
  


  ѷ֡ ALP Υ󥿥åǥץ񤯤Ȥǡ礻ɾ
          ǰǥ뽸η׻ǽǤ롥ALP Υ󥿥å Prolog 
          򤷤֤ˤʤ롥Prolog Ȥΰ㤤ϥۡ˸¤餺Υۡ
          إåɤˤŪ󡤲⥢ȥʤɤγĥ
          ᤬ҲǽʤȤǤ롥礻ν Prolog ˽ऺ뤬
          ηϲ⽸դ֤롥ޤĤΥ桼ƥƥ
          Ҹˤꡤǥ뽸η׻ʤɤղõǽ򥵥ݡȤ롥
           Prolog Υ󥿡ץ꥿ӥѥǼ¹Ԥ롥
             
  ʥݥȡ ֥ñĴԤ碌뤿ˡALP 񤤤Ƥ
          տޤǥǧΤŬƤ롥ñʥ󥿥åǤ
          Ȥ ALP ȤäƣɥץΥץȥԥ󥰤ԤΤ
          ŬƤ롥ɤץߥ󥰤θԤΤθѡ
          ءرγΤΥ֥ñĴζѡ
          ˰̤Ūƥ๽ѥġȤƹȤȤǤ롥

Ѹ
  Prolog 
  SICStus Prolog v.2.1#9 ǳȯ¾ Prolog Ǥư褦
    SICStus ͭΥ桼ƥƥץϻѤƤʤ
    ư SICStus ʳǤ̤ǧ

OS δĶ
  UNIX

ץʬ
  ץΤ     150 KB
  ñ                 8 KB
  ɾ               536 KB
  񡦥ޥ˥奢       854 KB
  ¾Υɥ      20 KB
                      1568 KB 

ե빽
  ʲΥեȥǥ쥯ȥޤࡥ

   README           ܥեȥΥǥ쥯ȥ깽
   README.English   ܥեȥѾաʱѸǡ
   advertise.txt    ܥեȥҲ
   copyright.txt    ܥեȥԻ̾
   function.txt     ܥեȥεǽ
   image.txt        ܥեȥԤΥ᡼
   manual  <dir>    ܥեȥؤźջäǥ쥯ȥ
		    Ѳ񡤥桼ޥ˥奢ޤ
   publication.txt  ܸ泫ȯ˴ؤȯɽȯɽͽޤ
   source  <dir>    ܥեȥΤäǥ쥯ȥ
                    ʴñɾΥ֥ǥ쥯ȥޤ

ʾ
