SWI-PROLOG

Swi-prolog es un software de código abierto utilizado para la programación
lógica utilizada en inteligencia artificial

Url: https://www.swi-prolog.org