SWI-Prolog

SWI-Prolog je multiplatformní, "malý" a velmi rychlý interpret jazyka Prolog. Implementace odpovídá normě ISO. Byl vyvíjen pro reálné nasazení, dnes je velmi oblíbený především na akademické půdě. K SWI-Prologu existují také vývojová prostředí, grafický debugger a obsahuje nástroje pro grafické aplikace (toolkit XPCE), zpracování XML dat nebo pro síťovou komunikaci.

Jádro SWI-Prologu je licencováno pod LGPL. Knihovny pak pod GPL s dodatkem, který umožňuje použití i v ne-GPL aplikacích.