基于謂詞邏輯的Prolog程序設計

期刊名字：西南大學學報（社會科學版）
文件大?。?/li>
論文作者：李娜，王湘云
作者單位：南開大學
更新時間：2022-06-19
下載次數(shù)：次

論文簡介

一階謂詞邏輯下的Horn邏輯是人工智能程序語言Prolog的理論基礎,利用Prolog在計算機上可實現(xiàn)機械化,從而使自動化求解問題和定理證明具備可行性.本文從Horn邏輯和Prolog的基礎理論出發(fā),使用Horn子句、SLD-歸結(jié)、搜索和回溯等原理討論了如何在計算機中實現(xiàn)數(shù)學函數(shù)、定理證明等自動推理的一些應用.

論文截圖

上一條："無情有性"與"無情說法":中國佛教山林化的佛學依據(jù)

下一條：知識論證和Frank Jackson的表征主義回應策略

版權：如無特殊注明，文章轉(zhuǎn)載自網(wǎng)絡，侵權請聯(lián)系cnmhg168#163.com刪除！文件均為網(wǎng)友上傳，僅供研究和學習使用，務必24小時內(nèi)刪除。