2010-04-16 4 views

risposta

6

Io suggerirei GNU Prolog, perché quello sembra essere lo standard, ma ho anche sentito cose positive su SWI-Prolog.