Prologデバッガと宣言的プログラミング  事例【JST・京大機械翻訳】

Drabent Wlodzimierz

プレプリント

J-GLOBAL ID：202202206038783396 整理番号：22P0118713

Prologデバッガと宣言的プログラミング事例【JST・京大機械翻訳】

The Prolog Debugger and Declarative Programming. Examples

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2020年03月03日プレプリントサーバーでの情報更新日： 2020年04月04日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

本論文は,宣言的プログラミングのためのProlog debuggerの(イン)アダクシーを議論する「Prolog Debugger and Delaative Program」の例を含む。論理プログラミングは宣言的プログラミングパラダイムである。プログラミング言語Prologは,論理プログラミングを,少なくとも実質的な程度で可能にする。しかし,Prolog debuggerは操作意味論に関してのみ機能する。したがって,それは宣言的プログラミングと両立しない。関連する論文は,宣言的観点からそれを使用する方法を見つけることを試みる。ここでは,それらを適用する例を示した。【JST・京大機械翻訳】

, , , ,
, 【Automatic Indexing@JST】

人工知能

, , ,

前のページに戻る

Prologデバッガと宣言的プログラミング 事例【JST・京大機械翻訳】

Prologデバッガと宣言的プログラミング事例【JST・京大機械翻訳】