t_wの輪郭

論理プログラム
論理プログラミング『深層学習と論理プログラミングの融合に関する最新の動向』ホーン節『プログラミング言語論 第9回 論理型プログラミング言語 担当:犬塚』後ろ向き推論Prolog