SWI-Prolog is a comprehensive Prolog environment. Its development
started in 1987 and has been driven by real-world applications.
SWI-Prolog is widely used in research, education, and commercial 
applications.

This "lite" package does not include all optional SWI packages.
