Prolog: berrikuspenen arteko aldeak
Ezabatutako edukia Gehitutako edukia
No edit summary |
No edit summary |
||
| 1. lerroa: | 1. lerroa: | ||
{{OpenMT-2}} |
|||
''' 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 . |
''' 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]] |
* [[SWI-Prolog]] |
||
* [[GNU Prolog]] |
* [[GNU Prolog]] |
||
| 11. lerroa: | 9. lerroa: | ||
* [[Teorema logikoen frogatzaile]] |
* [[Teorema logikoen frogatzaile]] |
||
== |
== Kanpo loturak == |
||
* [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] |
||
14:30, 15 martxoa 2012ko berrikusketa
Prolog ( edo PROLOG), frantses jatorria (PROgrammation LOGique) duen programazio-lengoaia logiko interpretatu bat da.[1] Adimen artifizialeko ikerketaren euskarrian dezente ezagutua .
Ikus gainera
Kanpo loturak
- 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