GNU Prolog (32-bit) 1.4.3

GNU Prolog es un compilador libre de Prolog con restricción resolver sobre dominios finitos. GNU Prolog acepta Prolog con programas de restricción y produce binarios nativos (como gcc hace a partir de una fuente de C). El ejecutable obtenido se autónomo....