Programas por gprolog.sf.net

GNU Prolog é uma implementação gratuita (sob GPL) da linguagem de programação lógica PROLOG. Ele pode compilar para código de máquina nativa que é extremamente rápido em execução. Outra característica é o solucionador de rest