Prolog: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
No edit summary |
t Robota: Testu aldaketa automatikoa (-== Kanpo loturak == +== Kanpo estekak ==) |
||
10. lerroa: | 10. lerroa: | ||
* [[Teorema logikoen frogatzaile]] |
* [[Teorema logikoen frogatzaile]] |
||
== Kanpo |
== Kanpo estekak == |
||
* [http://www.ciaohome.org Ciao-prolog konpilatzailea/interpretatzaile eraginkorra GPL/LGPL lizentziapean banatzen dena]. |
* [http://www.ciaohome.org Ciao-prolog konpilatzailea/interpretatzaile eraginkorra GPL/LGPL lizentziapean banatzen dena]. |
||
* [http://www.dobrev.com/ Strawberry Prolog, Prolog konpilatzaile librea] |
* [http://www.dobrev.com/ Strawberry Prolog, Prolog konpilatzaile librea] |
13:15, 21 urria 2019ko berrikusketa
Artikulu hau zirriborroa da. Wikipedia lagun dezakezu edukia osatuz. |
Prolog ( edo PROLOG), frantses jatorria (PROgrammation LOGique) duen programazio-lengoaia logiko interpretatu bat da.[1] Adimen artifizialeko ikerketetan erabiltzen da.
Ikus gainera
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
- ↑ Colmerauer, Alain y Roussel, Philippe. La naissance de Prolog, uztaila 1992