「論理プログラミングにおける用法」を解説文に含む見出し語の検索結果(1~3/3件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/06/20 22:13 UTC 版)「ホーン節」の記事における「論理プログラミングにおける用法」の解説論理プログラミングにお...
ホーン節(ホーンせつ、英: Horn clause)とは、数理論理学において、節(リテラルの選言結合命題)のうち、肯定形のリテラルの数が1つ以下の物を言う。論理学者のアルフレッド・ホーンによっ...
ホーン節(ホーンせつ、英: Horn clause)とは、数理論理学において、節(リテラルの選言結合命題)のうち、肯定形のリテラルの数が1つ以下の物を言う。論理学者のアルフレッド・ホーンによっ...
< 前の結果 | 次の結果 >