Explain What Is Swi-prolog?
SWI-Prolog is a free prolog compiler licensed under GPL, targeting primarily the research and education.