ロジックプログラミング

論理プログラミングとは、プログラム文が形式論理の体系内で問題に対する事実やルールを表現するコンピュータプログラミングのパラダイムである。 ルールは、例えば “B1、B2、B3が真であればHは真 “のように、頭と体を持つ論理節として記述される。 ファクトはルールに似ているが、ボディを持たず、例えば、”H is true. “のように表現される。 プログラムが何を達成すべきかを記述することができ、その方法についての明確なステップバイステップの指示はない。 Prologのように、宣言型と命令型を組み合わせたものもあります。 また、「Hを解くには、B1、B2、B3を解け」というような手続き的な記述も含まれる。

論理プログラミングに用いられる言語

• Absys
• ALF (algebraic logic functional programming language).
• アルゴリズムプログラムのデバッグ
• Alice
• Alma-…0
• ASP（アンサーセットプログラミング）
• CHIP
• Ciao
• CLACL
• CycL
• Datalog
• Datomic
• DLV
• ECLiPSe
• F-logic
• Flora- (フローラ)2
• Fril
• FuzzyCLIPS
• Gödel
• HiLog
• Janus
• ΛProlog
• Logtalk
• Maud システム
• Mercy
• MetaL
• Mozart Programming System
• Oz
• Parlog
• Planner
• PROGOL
• Prolog
• Prolog++
• Prova
• .Planner
• 。QL
• Rebeca Modeling Language
• ROOP
• SICStus Prolog
• SWI-.Prolog
• ToonTalk
• Transaction logic
• Twelf
• Visual Prolog
• XSB

言葉。 論理学、機械学習、パラダイム、プログラミング用語＜3490＞（英語