Descrição
O swi-prolog é um ambiente de programação especializado em lógica. Ele é usado para criar programas que usam lógica para resolver problemas e fazer inferências. Ele é popular entre os cientistas da computação e os engenheiros de inteligência artificial.