「Logic Programming」を解説文に含む見出し語の検索結果(91～100/428件中)
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
Concurrent Prologパラダイム並行論理プログラミング登場時期1983年設計者Ehud Y. Shapiro型付け動的型付け主な処理系Logix影響を受けた言語Relational Lan...
FX-502Pシリーズ（FX-501P および FX-502P）は、プログラム関数電卓であり、カシオ計算機により1978年から製造された。後継機種は、FX-602Pシリーズである。FX-501P計算式...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/12 02:49 UTC 版)「Prolog」の記事における「コワルスキとDEC-10Prolog」の解説彼らグループ...
ナビゲーションに移動検索に移動失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {...
ナビゲーションに移動検索に移動失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 p {...
計算木論理（けいさんきろんり、Computational Tree Logic、CTL）は、分岐時相論理の一種である。その時間モデルでは未来は決定されておらず木構造のように分岐している。未来の複数の経...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査（Model Checking）とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...