SWI-Prolog é uma implementação popular da linguagem de programação lógica Prolog. Prolog, que
significa "Programming in Logic", é uma linguagem declarativa usada principalmente para
inteligência
artificial e resolução de problemas baseados em lógica formal. O SWI-Prolog oferece um ambiente
de
desenvolvimento robusto e rico em recursos, com suporte a bibliotecas e ferramentas adicionais
para
facilitar o desenvolvimento de sistemas baseados em lógica, como raciocínio, processamento de
linguagem natural, e aprendizado de máquina.