SWI-Prolog es una aplicación de código abierto del lengueaje de programación Prololog; es comunmente utilizado para la enseñanza y las aplicaciones de web semántica.