主 な 用途 は 軍事 向け で 、 有名 な 物 として パトリオット ミサイル に 搭載 さ れ て いる （ 正確 に は ミサイル 本体 （ MIM - 104 ） で は なく 、 地上 装置 で ある ECS 及び ICC の 兵器 管制 コンピュータ EWCC （ Enhanced Weapon Control Computer ） に 搭載 さ れ て いる ） 。

彗星 の 本体 は 核 と 呼ば れる 。

これ に は 、 核 から 放出 さ れ た 塵 が 独自 の 軌道 で 公転 する よう に なり 、 徐々に 核 本体 から 遅れ て いく ため 、 また 、 太陽 の 自転 により 太陽 風 が 渦巻い て い たり 、 太陽 の 光 の 圧力 （ 光圧 ） の 影響 など も 受け て い たり する ため など の 理由 が ある 。

オリジナル の BSD ライセンス の 宣伝 条項 と 呼ば れる 条項 は 、 多数 の ソフトウェア を 収録 し た パッケージ 製品 の 場合 、 広告 本体 より も 多く の 紹介 文 を 必要 と する 事態 を 招き かね ない という 欠点 が あっ た 。

さらに 空 行 を 挟ん で 、 コンテンツ 本体 と なる 。

本体 は 幾つ か の 副 目標 から なる 。

独立 し て 節 の 本体 で 式 評価 を 記述 し なく て は なら ない ため 、 数値 計算 で は やや 冗長 に なる 。

後 に 述べる が Prolog の 述語 は その 構造 が 頭部 と 本体 と 分かれ て い て 、 本体 は ルール を 意味 する ため 、 全体 として 、 ルール を 持っ た データベース 、 演繹 データベース として 捉える こと が できる 。

一方 、 事実 を 表す 本体 の ない （ 強制 的 に 真 ） 頭部 のみ の 定義 節 による 述語 は リレーショナル データベース と その 集合 論 的 な 性質 で 一致 する 。

実務 的 な プログラム で は この 質問 によって 述語 定義 の 融合 、 頭部 の 単一化 、 本体 部 の 導出 の 長い 連鎖 と なり 、 最終 的 に その 質問 が 真 か 偽 の 結果 を 残し て 終了 する 。

最初 の 親子 ( 波平 , サザエ ). から 夫婦 ( マスオ , サザエ ). まで が 事実 で あり 、 形式 的 に は 本体 が なく 、 単位 節 と 呼ば れる 。

その 下 の member は 二 番目 の 節 に 再帰 的 に 本体 が あり 、 これ は ルール と 呼ば れる 。

副 目標 1 ～ 副 目標 n の 間 の "," は AND を 意味 する 演算 子 で あり 、 1 つ の 節 が 成功 する の は 本体 部 が すべて 成功 し た 場合 で ある 。

本体 部 の 実行 は 、 副 目標 が AND の 関係 で 連接 する 場合 、 記述 さ れ た 順 に 行わ れる 。

質問 さ れる こと によって 、 頭部 の 単一化 を 行い 、 これ に 成功 し た 節 の 、 本体 の 副 目標 を 順次 、 今度 は これ が 親 と なっ て 質問 する 。

手続き 的 に 見る と 、 " 副 目標 1 "～" 副 目標 n " が すべて 成功 する 場合 、 節 は 本体 部 を 順番 に 実行 する 関数 や サブルーチン の よう に 見なせ 、 再帰 呼び出し 可能 な 手続き 型 / 関数 型 言語 と 動き はさ ほど 違わ ない 。

他 の 言語 と の 大きな 違い は 、 本体 部 の いずれ か が 失敗 し た 場合 、 最後 に 選択 し た 節 に バックトラック し 次 の 節 から 再度 実行 を 続ける こと で ある 。

論理 変数 の 名前 が 同一 で ある こと が 意味 を 持つ の は 、 質問 さ れ て 、 述語 の ひとつ の 定義 節 と 融合 さ れ た 時 、 その 融合 さ れ た 定義 節 側 の 頭部 、 本体 の 中 に 、 質問 として の 副 目標 の 引数 と は 無関係 に 、 同名 の 論理 変数 が ある か ない か だけ で ある 。

カット は それ が 記述 さ れ た 節 の 本体 の 連接 の 範囲 の 中 のみ で 有効 で ある 。

プログラマ は 定義 さ れ た 述語 の 各 節 の 本体 に のみ 焦点 を 合わせる 。