t_wの輪郭

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