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

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

ԤΥ᡼
--------------------

ܥեȥ̾Τϡ֥֥ƥץߥ󥰽
(Prolog )(Abductive Logic Programming System; ALP system; 
̾ ALP-MGTP) Ǥ롥ALP-MGTP Ǥϡ֥ƥץ
(ALP) οǰܥȥॢåפ˷׻ۤALP Фդ
ǽǤꡤ䤤碌ФƾȤʤ벾դƲ֤

ALP-MGTP ϵ§ Prolog ˶ᤤ󥿥åǵҤǤˤ
ǥեȵ§ɽ뤿ΡּԤˤ (NAF) פȥ֥
Ѥ뤿ΡֲǽƥפƱ˵ҤǤ롥ޤԳ
μɽ뤿ˡ§ΥإåɤˡפҤǤԴμ
ɽ뤿ˡפ򵭽Ҥ뤳ȤǤ롥Τ褦ˡALP-MGTP 
εǽħϡ֥ñĴ (ǥեȿ) Ʊ˰
¿ͤɽ֤ǽǤ뤳ȤǤ롥ޤ MGTP ι®Ѥơ
ΨŪ ALP Ϥ¸Ƥ롥

ALP ץߥ󥰤¸뤿ΥƥĶΤȤƤϡProlog + 
MGTP (Prolog) + ALP ⥸塼פȤʤ롥ALP ⥸塼ϡALP  
MGTP ؤؤѴ (쳬Ҹ쥳ѥ)  MGTP η̤ 
ALP ȤѴץȤʤ롥䤤碌ν Prolog 
˽ऺ뤬ηϲ⽸դ֤롥ޤĤΥ桼ƥ
ƥҸˤꡤǥ뽸η׻ʤɤղõǽݡȤƤ롥
 Prolog Υ󥿡ץ꥿ӥѥǼ¹Ԥ롥
             
ALP-MGTP ӤȤƤϡ֥ñĴԤ碌뤿ˡALP 
񤤤Ƥΰտޤǥ׻뤤ϳǧΤ˸Ƥ롥ñ
󥿥åǤ뤳Ȥ ALP Ȥä AI ץΥץȥԥ
ԤΤŬƤ롥AI ץߥ󥰤θԤΤθ
ѡءرγΤΥ֥ñĴζѡ
̤Ūƥ๽ѥġȤƹѤ뤳ȤǤ롥

ʾ
