Prolog

Prolog ( edo  PROLOG), frantses jatorria (PROgrammation LOGique) duen programazio-lengoaia logiko interpretatu bat da. Adimen artifizialeko ikerketetan erabiltzen da.

Ikus gainera 
 SWI-Prolog
 GNU Prolog
 Ciao
 P#
 Programazio logiko
 Teorema logikoen frogatzaile

Kanpo estekak 
 Ciao-prolog konpilatzailea/interpretatzaile eraginkorra GPL/LGPL lizentziapean banatzen dena.
 Strawberry Prolog, Prolog konpilatzaile librea
 Programazio logikoko laborategia Madrileko Unibertsitate Politeknikoan.
 Prolog ikasteko doako tutoriala (oinarrizko maila, espainieraz)
 Prolog ikasteko doako tutoriala (maila ertaina, espainieraz)
 Learn Prolog Now! Prolog ikasteko doako tutoriala (maila ertaina, ingelesez)

Erreferentziak 

Programazio lengoaiak
Programazio logiko
Adimen artifiziala