Debe tener Herramientas de desarrollo Para Daniel Diaz
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....
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....