Prolog
Il Prolog è un linguaggio di programmazione informatica specializzato nell programmazione logica. Il termine Prolog deriva letteralmente dall'unione dei termini inglesi PROgramming in LOGic o dai termini francesi PROgrammation en LOGique. Il linguaggio di programmazione Prolog viene ideato da Robert Kowalski, Marten Van Emdem e Alain Colmerauer. Il linguaggio di programmazione è caratterizzto da una sintassi e una semantica molto semplice, basata sul paradigma di programmazione logica. Secondo gli scopi degli ideatori, il Prolog è il tentativo di costruire un linguaggio di programmazione espresso in forma logica, facilmente programmbile anche da chi non possiede conoscenze informatiche. Il Prolog elabora i predicati secondo la logica del primo ordine. La notazione utilizzata nel Prolog è però diversa rispetto a quella matematica della logica del primo ordine. Ad esempio, nella logica del primo ordine le variabili sono rapprentate da lettere minuscole e le costanti da lettere maiuscole. Nel Prolog, invece, le variabili sono rappresentate da lettere maiuscole e le costanti da lettere minuscole. Nel Prolog, inoltre, l'ordine di presentazione è opposta. L'espressione ( a ∧ b ) ⇒ c della logica del primo ordine, nel linguaggio Prolog è scritta nel seguente modo:
C :- A, B
Il linguaggio Prolog è particolarmente potente nella rappresentazione dei concetti complessi. La sintassi del linguaggio di programmzione è limitata alle formule ( clausole di Horn ) sotto forma di disgiunzioni di letterali. Il linguaggio di programmazione Prolog è utilizzato nel campo dell'intelligenza artificiale e dell'inferenza logica.

- Concatenazione all'indietro. Il linguaggio Prolog utilizza la ricerca con concatenazione all'indietro in profondità.