«Prolog»: berrikuspenen arteko aldeak

No change in size ,  Duela 4 hilabete
t
Robota: Testu aldaketa automatikoa (-== Kanpo loturak == +== Kanpo estekak ==)
t (Robota: Testu aldaketa automatikoa (-== Kanpo loturak == +== Kanpo estekak ==))
 
* [[Teorema logikoen frogatzaile]]
 
== Kanpo loturakestekak ==
* [http://www.ciaohome.org Ciao-prolog konpilatzailea/interpretatzaile eraginkorra GPL/LGPL lizentziapean banatzen dena].
* [http://www.dobrev.com/ Strawberry Prolog, Prolog konpilatzaile librea]