t_wの輪郭
clause
節
2024/3/17 3:40:00
Prime Implicant節
ホーン節
節
Prime Implicant
Prime Implicant節
2024/3/17 3:37:00
主項
『発想的仮説生成のための述語論理知識ベースのコンパイル法』
節
論理プログラム
ホーン節
2024/3/17 3:08:00
『プログラミング言語論 第9回 論理型プログラミング言語 担当：犬塚』