SWI-Prolog7.7.23手册

swil-Prolog是一种全面的、可移植的Prolog编程语言实现。swil-prolog旨在成为支持广泛应用程序的健壮且可伸缩的实现。特别是，它附带了大量的接口库，为其他语言、数据库、图形和网络提供接口。它为管理HTML/SGML/XML和RDF文档提供了广泛的支持。该系统特别适合于服务器应用程序，因为它对多线程和HTTP服务器库。