• HOME
• DOWNLOAD
  • SWI-Prolog
  • Sources/building
  • Docker images
  • Add-ons
  • Browse GIT👁 External
    
• 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 Logical👁 External
      
    • Debugger
    • Development tools
  • Advanced▶
    • Modules👁 External
      
    • Grammars (DCGs)👁 External
      
    • clp(fd)👁 External
      
    • Printing messages👁 External
      
    • PlDoc👁 External
      
  • Web applications▶
    • Web applications👁 External
      
    • Let's Encrypt!👁 External
      
    • Pengines
  • Semantic web▶
    • ClioPatria👁 External
      
    • RDF namespaces
  • Graphics▶
    • XPCE
    • GUI options
  • Machine learning▶
    • Probabilistic Logic Programming👁 External
      
  • External collections▶
    • Meta level tutorials👁 External
      
  • For packagers▶
    • Linux packages
• COMMUNITY
  • Forum & mailing list👁 External
    
  • 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 ...