Prolog はオブジェクト指向とは疎遠であるが、一方、述部を重視する系であるという点から見ても、モジュラープログラミングとは近い関係にある。Prolog の述語をモジュールとして捉えた場合、多くは再帰的で宣言的であり、情報強度は極めて強く、情報結合度は極めて弱い。引数にはリスト以外の構造体（複合項）が来ることはほとんどなく明解であり、記述単位は数行と極めて短くかつ記述は簡潔である。モジュラープログラミングを突き詰めたものが Prolog だといってもよいように見える。しかし、Prolog をモジュラープログラミングとして評価した場合、疑問符の付くであろう部分もないわけではない。それはPrologの引数の入力・出力の関係が多くの場合双方向であり、意味的にも多義性を持つという点である。モジュラープログラミングは「〜を〜する」というような単一機能にまとめることが推奨されたが、この原則に反する。さらにPrologは複数の解を示すことがありうる。この性質を非決定性（後述）というが、実はこのことは定義された述語全体がコルーチンでありうることを意味する。単一の入口点による制御を良しとするモジュラープログラミングの原則にここでも反する。
型付けは動的型付けに分類できるが、言語仕様の中に型概念は登場しない。上記の単一化、バックトラッキング、と論理変数の束縛においては独特のものがあり、その実行は型推論の実行過程に酷似している。既に Prolog はその引数の引渡し時に単一化という厳密なパターンマッチングを施すことに多大なコストを掛けた。単一化だけでプログラムをコントロールできる言語が Prolog であるといっても過言ではない。この単一化のみによる簡素で強力なプログラムコントロールの足を引っ張ることに成り兼ねない、型付けの強化は、Prolog 言語とその支持者によって受け入れられることはないだろう。
単一化は1960年代の述語論理理論の発展の鍵となった概念であるが、Prolog が述語論理に導かれて機械による自動証明を実現するためのプログラム言語として成立したことから、必然的にこの言語の必須の最も重要な機構となった。単一化は副目標（質問）と対応する定義節の頭部のパターンが完全に一致するか、調べることで、節の選択を可能にする。基本的な言語仕様の章で詳述するが、Prolog の実行順序等の制御は単一化のからくりを利用してプログラミングされる。簡単なからくりでかつ極めて強力な単一化であるが実行コストも大きい、すなわち実行速度が遅くなる原因となる。さらに、パターンとして認識することと引き換えに、引数での関数評価は不可能になった。独立して節の本体で式評価を記述しなくてはならないため、数値計算ではやや冗長になる。これらの点は、単一化の強力さとのトレードオフの関係になっている。
Prolog は一階の述語論理に対応することから論理型言語に分類される汎用言語であるが、その主張の一行一行を独立して論理式とほとんど等価な表現で行うことから、最も代表的な宣言型言語と見なされている。Prolog のプログラム単位である述語の各節の本体に現れる質問単位である副目標数は平均5個以内と極めて少ない。この副目標と各節の頭部に現れる引数の組み合わせによって得られる関係が述語の意味を構成している考えられる。これが宣言型とされるゆえんである。<頭部> :- <本体>.  % Prologの節は頭部と本体によって構成される。% 述語定義は複数の節からなる。本体は幾つかの副目標からなる。% 副目標の全てが真となった時に節の宣言は成立する（節は真となる）。述語名(引数_1,引数_2) :- <副目標_1>,<副目標_2>.述語名(引数_1,引数_2) :- <副目標_3>・・・Prologの自然な定義では、ここで示した <副目標_1> <副目標_2> が、一つの述語において、高々 <副目標_5> くらいまでに収まる。
Prolog は LISP の資産の多くを継承して間違いなく記号処理用の言語であるが、人工知能言語として分類されることも多い。これは、人工知能の世界では述語論理が古くから理論的な柱の一つとなっているからである。述語論理を基礎とするトップ・ダウン式の問題解決と同じく述語論理を基礎とする Prolog の駆動機構の相性は当然良いため、人工知能研究に広く利用されてきた。特にエキスパートシステムで多用されるプロダクションシステムにおいては、ルールを自然に自ら動的に変更できる能力を持つことと、後ろ向き推論と呼ばれる推論が Prolog の導出過程そのものであることから、その最も主要な記述言語の位置を占めてきた。
エルサルバドルで生まれ、10歳でカナダに移住。ムエタイ、レスリング、柔術を学び、18歳でプロデビュー。また17歳から19歳までカナダのプロレス団体でプロレスラーとして活動していた。2001年1月27日、UCC（現TKO）でプロ総合格闘技デビュー。2002年1月25日、UCC 7でジョルジュ・サンピエールのデビュー戦の相手を務めたが、TKO負け。2002年9月17日、UCCハワイ大会でジェイ・R・パーマーと対戦。ジャーマン・スープレックスで失神KO勝ち。2003年7月19日、AFCでビトー・"シャオリン"・ヒベイロと対戦し、判定負け。2004年6月19日、UFC初参戦となったUFC 48でマット・セラと対戦し、判定負け。2005年7月31日、初参戦となったパンクラスで志田幹と対戦。ジャーマン・スープレックスを繰り出すなどし、判定勝ち。2006年1月28日、TKO 24でユライア・フェイバーと対戦し、2R反則で失格負け。2006年5月3日、HERO'Sミドル級（-70kg）トーナメント1回戦で中原太陽と対戦し、判定勝ち。2006年8月5日、HERO'Sミドル級トーナメント準々決勝で所英男と対戦。寝技で攻める所の攻撃をオモプラッタなどを駆使しすべてかわし、パワーボムやパウンド、バックからのチョークスリーパーなどで所を攻め続けて判定勝ち。2006年10月9日、HERO'Sミドル級トーナメント準決勝で宇野薫と対戦。一進一退の闘いを繰り広げるも判定負け。11月2日、IFLでバート・パラゼウスキーと対戦し、1-2の判定負けを喫した。2010年6月19日、3年7か月ぶりの復帰戦でアーロン・ミラーに三角絞めで一本勝ち。12月16日、WEC最終興行WEC 53でブラッド・ピケットと対戦し、0-3の判定負けを喫した。