This document provides an overview of SWI-Prolog, a comprehensive and portable implementation of the Prolog programming language. It describes SWI-Prolog's positioning as a robust and scalable implementation supporting a wide range of applications. The document outlines key features such as interfaces to other languages, databases, graphics and networking, as well as support for managing HTML/SGML/XML and RDF documents. It also provides information on using SWI-Prolog, including details on its development environment, compiler, debugger and more.