9114
0
Loading version...
🔄 Update App
🔍 Check for Updates
Test Notification
🔔 Enable Notifications
📰 Fetch NHK News
🚀 Fetch TechCrunch News
🧪 Experiment
📰 Wordlist List
📚 Reading List
🎤 Speaking List
📊 Statistics
💻 Software Statistics
Push Admin
Edit Reading
Back to List
Basic Information
Title
Please enter a title.
URL
Please enter a valid URL.
Date
カテゴリID
画像ファイル名
単語数（空欄の場合は本文から自動計算）
空欄の場合は本文から自動計算されます。本文が空欄の場合は既存の値が保持されます。
統計情報
現在の単語数:
128語
読了回数:
0回
作成日:
2022/01/06 20:11
更新日:
2025/12/09 18:20
本文
本文
Prolog is a programming language that uses first order logic. It is the most used logic programming language. It is a declarative programming language. Alain Cormerauer, a French computer scientist created Prolog in the early 1970s. Prolog is rather different from other programming languages. It uses facts and rules. Given the facts, the rules can be used to figure out new facts. Prolog uses a paradigm called negation as failure, which means that {\displaystyle \mathrm {not} ~p}{\displaystyle \mathrm {not} ~p} is assumed if {\displaystyle p}{\displaystyle p} cannot be derived. This is different from true logical negation. While negation is failure has its benefits, it often confuses people starting to learn Prolog, as they expect true logical negation. Prolog also uses Horn clauses. It is a turing-complete programming language.
メモ
メモ・感想
キャンセル
更新
Debug Info:
Saved State:
-
Redirected Flag:
-
Current URL:
-
Refresh
Close
Debug
Send Report
Send Report
Draw Arrow
Clear
Message:
Cancel
Send
