SWI-Prolog — это мощная и широко используемая реализация языка программирования Prolog, предназначенная для разработки приложений, основанных на логическом программировании. Prolog (сокращение от "Programming in Logic") — это высокоуровневый язык, который используется в области искусственного интеллекта, обработки естественного языка, экспертных систем, а также для разработки систем, работающих с базами данных и решения логических задач.