neanche io... ่ proprio quello il problema!!! ma devo leggere questo articolo che ne spiega la sintassi e semantica e ne dimostra la terminazione dei programmi scritti con esso...
่ un linguaggio dichiarativo progettato soprattutto per costruire risolutori di vincoli... che p.... ma lo DEVO fare, ่ una tesina