SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications.
SWI-Prolog — это свободная (открытая) реализация языка программирования Prolog, часто используемая для преподавания и приложений Semantic Web.