Prolog: berrikuspenen arteko aldeak

''' Prolog''' ( edo ''' PROLOG'''), [[Frantses| frantses]] jatorria ('''''PRO'''grammation '''LOG'''ique'') duen [[Programazio-lengoaia| programazio-lengoaia]] logiko interpretatu bat da.<ref>Colmerauer, Alain y Roussel, Philippe. [http://alain.colmerauer.free.fr/ArchivesPublications/HistoireProlog/24juillet92.pdf La naissance de Prolog], uztaila 1992</ref> [[Adimen artifizial]]eko ikerketaren euskarrian dezente ezagutua .

 

* [[SWI-Prolog]]

* [[GNU Prolog]]

* [[Teorema logikoen frogatzaile]]

 

* [http://www.ciaohome.org Ciao-prolog konpilatzailea/interpretatzaile eraginkorra GPL/LGPL lizentziapean banatzen dena].

* [http://www.dobrev.com/ Strawberry Prolog, Prolog konpilatzaile librea]