Prolog
Loogisten predikaattien määrittelyihin ja toteutuvuuskyselyihin perustuva tekoälykieli (R. Kowalski, A. Colmerauer ym. ~1972).
Esim. Eukleideen algoritmia varten määritellään predikaatti
gcd(M,N,D) º ”M:n ja N:n s.y.t. on D”
ehdoilla:
"M: gcd(M,0,M); ja
"M,Nɬ,D: gcd(N, M mod N, D) Þ gcd(M,N,D).
Kun nyt M ja N on annettu, voidaan etsiä arvot D, joilla ehto gcd(M,N,D) on voimassa.
gcd(M,N,D) :- N > 0, R is M mod N, gcd(N,R,D).