SWI Prolog alternatifleri
SWI Prolog, mantıksal çıkarımlar içeren yazılımlar geliştirmek için ücretsiz ve açık kaynaklı bir yazılım ortamıdır. 1987 yılında başlatılan ve gerçek dünya uygulamalarının ihtiyaçlarını karşılamak üzere geliştirilen bu sistem, günümüzde hem araştırma ve eğitimde hem de ticari uygulamalarda yaygın olarak kullanılmaktadır. Sistem, çeşitli programlama görevleri için olanaklarını artıran bir grafik araç takımı içerir.