Programas por gprolog.sf.net

O GNU Prolog é uma implementação gratuita (no âmbito do GPL) da linguagem lógica de programação PROLOG. Pode compilar para código de máquina nativo que é extremamente rápido na execução. Outra característica é o solucionador