Prolog は 1972年にマルセイユのカルメラウアーが考案し、1974年にコワルスキーがさらに形式的に定義し、数理論理学に基づいた言語として発表した。Prolog のプログラムは一階述語論理のサブセットの論理式の集まりとして読むことができ、一階述語論理のモデル理論と証明理論を継承している。プログラムの節は次のように書かれる:   H :-  B₁, ..., Bₙ.これを宣言として読めば、以下の論理的含意に等しい：   B₁ and ... and Bₙ implies Hここで、節内の全変数（変項）は全称量化されている。手続き的な後方連鎖規則として見れば、H を証明するには、B₁ から Bₙ までを証明できれば十分であることがわかる。手続き的意味は線形導出法（LUSH または SLD導出法）による反駁証明によっても定式化できる。宣言的意味と手続き的意味の密接な関係は論理プログラミング言語の際立った特徴であるが、否定や論理和といった他の量化子をプログラム内に許すようになると関係は複雑になる。
論理プログラミングの基本は数理論理学のスタイルをコンピュータのプログラミングに持ち込むことにある。数学者や哲学者は論理を理論構築のツールとして選んだ。多くの問題は理論として自然に表現される。解決すべき問題とは、新たな仮説が既存の理論で説明できるかどうかを問うことと等しい。論理は問題が真か偽かを証明する方法を提供する。証明構築過程は明確であり、論理は問題に答える信頼できる方法と見なされている。論理プログラミングシステムはこの過程を自動化する。人工知能は論理プログラミングの開発に重要な影響を与えた。
論理プログラミング（Logic Programming）とは、広い意味では、コンピュータプログラミングでの数理論理学の使用である。この観点での論理プログラミングは、ジョン・マッカーシー[1958]のadvice takerの提案にまでさかのぼることができる。より一般的に受け入られている狭い意味での論理プログラミングは、述語論理式を非決定的なプログラミング言語とみなすもので、述語論理式は宣言的であると同時に手続き的にも解釈される。論理をベースにしたプログラミング言語として1971年に Planner のサブセットである Micro-Planner が開発された。表明とゴールからパターンによる手続き的計画を呼び出す機能を備えていたが、十分に形式化されていなかった。Plannerと独立してより論理を重視した Prolog が開発され、コワルスキーにより述語論理式(ホーン節)のプログラム的解釈の考え方と結び付き、論理プログラミングの基本的な考え方が確立した。Planner からの派生で、プログラミング言語 Poplerが開発された。Prolog からの派生言語としては、Mercury、Visual Prolog、Oz、Fril などがある。バックトラッキングを使用しない並行論理プログラミング言語としてProlog からの派生したConcurrent Prolog、PARLOG、GHC、KL1などの各種言語（Shapiro [1989] に調査結果がある）がある。
小説『三国志演義』では、檄文を作ったのは橋瑁ではなく曹操ということにされている。また、橋瑁が劉岱と争ったのも兵糧を巡ってのことにされている。
兗州刺史を務めたことがあり、人柄がよく威厳と恩情を兼ね備えていたとされる。やがて東郡太守となった。永漢元年（189年）、何進は十常侍と対立すると、各地の軍を呼び寄せようとした。橋瑁にもその命令が下ったため、橋瑁は成皋の地に軍を駐屯させた（『後漢書』）。何進と十常侍が共に滅び、董卓が朝廷の実権を握ると、橋瑁は三公の公文書を偽造し、董卓に対する挙兵を呼びかける檄文を作った（『後漢書』）。初平元年（190年）、董卓に反対する関東の諸侯が挙兵する（反董卓連合）と、橋瑁は孔伷・劉岱・張邈・張超・袁遺と共に参戦している。もっとも「臧洪伝」によると、当初挙兵したのは橋瑁達となっている。袁紹を盟主として仰いだが、董卓が長安に遷都した後は事態に進展がなく、橋瑁は酸棗で劉岱・張邈・袁遺・鮑信・曹操と共に駐屯していた。曹操は、酸棗に駐屯する諸侯が酒宴ばかり開いて董卓と積極的に戦おうとしないことを憂い、進軍計画を立てた上で、戦をするよう奨めた。しかし諸侯はそれに応じなかった。やがて酸棗の軍勢は兵糧が尽きて解散した（『後漢書』）。橋瑁は劉岱と対立し殺害されてしまった。
宮村 隆治（みやむら りゅうじ、生年不明 - 1932年（昭和7年））は、日本の弁護士、法学士、教育者。中京法律専門学校設立の発起人。
予知夢を見る少年・珍鬼は、3000年前に殷王朝が守護神として造った魔神で、念力で自由に動かせる恐るべき破壊ロボット「燈台鬼」を発掘し、燈台鬼を動かす力を持つ少女・愛愛と出会うのだった。燈台鬼は愛愛の意に反して町を破壊し、黄河の底に沈んだ。時は流れて、1988年の沖縄県。今はゴブリン公爵を名乗るようになった珍鬼は、潜水の名手である徳川貫一を雇い、黄河の底に埋もれる燈台鬼を復活させるが、貫一の殺害は愛愛の妨げにより失敗。燈台鬼、貫一、愛愛は超能力研究所所長の天乱和尚に保護される。燈台鬼を奪還しようとするゴブリン公爵を退けた天乱和尚は、燈台鬼を正義のため役立てようとベトナムの難民キャンプへワクチンを届けようとする。ワクチンは無事に届けられたが、燈台鬼の外見を見た難民たちからは悪魔、怪物として疎まれる。その頃、ゴブリン公爵は、プラネリア共和国に日本企業が建設した石油プラットフォームを支配下に置き、燈台鬼を真似た念力で動かすロボイドを開発していた。天乱和尚は燈台鬼、貫一、愛愛を派遣し、激しい戦いの末、ロボイドとゴブリン公爵を倒したかに見えた。日本行きの石油タンカーに燈台鬼、貫一、愛愛らは乗船していたが、同道する石油プラットフォームの社長にはゴブリン公爵が憑依しており、ついにはゴブリン公爵は燈台鬼に憑依してしまう。燈台鬼=ゴブリン公爵は日本に上陸、破壊の限りを尽くす。瀕死の愛愛は自分も燈台鬼に憑依し、ゴブリン公爵の精神と戦いながら浅間山の火口へ身投げし、溶岩の熱で溶かすのであった。