SWI-Prolog

• HOME
• DOWNLOAD
  • SWI-Prolog
  • Sources/building
  • Docker images
  • Add-ons
  • Browse GITExternal
• DOCUMENTATION
  • Manual
  • Packages
  • FAQ
  • Command line
  • PlDoc
  • Bluffers▶
    • Prolog syntax
    • PceEmacs
    • HTML generation
  • License
  • Publications
  • Rev 7 Extensions
• TUTORIALS
  • Beginner▶
    • Getting started
    • Learn Prolog Now!External
    • Simply LogicalExternal
    • Debugger
    • Development tools
  • Advanced▶
    • ModulesExternal
    • Grammars (DCGs)External
    • clp(fd)External
    • Printing messagesExternal
    • PlDocExternal
  • Web applications▶
    • Web applicationsExternal
    • Let's Encrypt!External
    • Pengines
  • Semantic web▶
    • ClioPatriaExternal
    • RDF namespaces
  • Graphics▶
    • XPCE
    • GUI options
  • Machine learning▶
    • Probabilistic Logic ProgrammingExternal
  • External collections▶
    • Meta level tutorialsExternal
  • For packagers▶
    • Linux packages
• COMMUNITY
  • Forum & mailing listExternal
  • Blog
  • News
  • Report a bug
  • Submit a patch
  • Submit an add-on
  • Roadmap (on GitHub)External
  • External links
  • Contributing
  • Code of Conduct
  • Contributors
  • SWI-Prolog items
• COMMERCIAL
• WIKI
  • Login
  • View changes
  • Sandbox
  • Wiki help
  • All tags

SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications. Join over a million users who have downloaded SWI-Prolog. more ...