人工知能技術の概要

 

ドメイン
    名 = シンボル。
述語の
    母親（名前、名前）。
    父（名前、名前）。
    祖父（名前、名前）。
    祖母（名前、名前）。
    姉（名前、名前）。
    叔母（名前、名前）。
ゴール
    祖母（X）、（書き込み、 " X = " 、X）を、NL、
    父親（B、Y）、書き込み（" Y = " 、Y）、NL、
    姉（D、Z）、書き込み（「Z = "Z）、NL、 
    叔母（D、T）は、（書き込み" T = " 、T）を。
句の
    母親（C）。
    母親（D）。
    母親（C、G）。
    母親（C、F）。
    父親（B、C）。
    父親（B、D）。
    父親（E、G）。
    父親（E、F）。
    祖父（X、Z） - 父（X、Z）、父（Y、Z）。
    祖母（X、Z） - 母親（X、Y）、母（Y、Z）。
    姉（X、Y）： - 母親（Z、X）、母（Z、Y）。
    叔母（X、Y）： -mother（Z、Y）、妹（Z、X）。