Prolog: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Robot: Automated text replacement (- , +,) |
m Robot: Automated text replacement (-([^0-9]),([^ ]) +\1, \2) |
||
Riga 30:
:* GNU Prolog
:http://pauillac.inria.fr/~diaz/gnu-prolog/
:Una implementazione open source relativamente nuova. Ha un supporto per la programmazione in logica vincolata, una estensione di prolog.
:* Visual Prolog
:http://www.visual-prolog.com/
|