www.swi-prolog.org Open in urlscan Pro
2a04:4e42:600::729  Public Scan

Form analysis
1 forms found in the DOM

/search

<form action="/search" id="search-form">
  <input name="for" id="for" value="" class="ui-autocomplete-input" autocomplete="off">
  <input id="submit-for" type="submit" value="Search">
  <script type="text/javascript">
    $(function() {
      function htmlEncode(text) {
        if (!text) return "";
        return document.createElement('a').appendChild(document.createTextNode(text)).parentNode.innerHTML;
      }
      $("#" + "for").autocomplete({
        minLength: 1,
        delay: 0.3,
        source: "/autocomplete/ac_predicate",
        focus: function(event, ui) {
          $("#" + "for").val(ui.item.label);
          return false;
        },
        select: function(event, ui) {
          $("#" + "for").val(ui.item.label);
          window.location.href = ui.item.href;
          return false;
        }
      }).data("ui-autocomplete")._renderItem = function(ul, item) {
        var label = String(htmlEncode(item.label)).replace(htmlEncode(this.term), "<span class=\"acmatch\">" + this.term + "</span>");
        var tag = item.tag ? " <i>[" + item.tag + "]</i>" : "";
        return $("<li>").append("<a class=\"" + item.class + "\">" + label + tag + "</a>").appendTo(ul)
      };
    });
  </script>
</form>

Text Content

SWI-Prolog Did You Know Did you know? you can deploy to dotcloud Search
Documentation:


Download binary

 * HOME
 * DOWNLOAD
   * SWI-Prolog
   * Sources/building
   * Docker images
   * Add-ons
   * Browse GIT
 * 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!
     * Simply Logical
     * Debugger
     * Development tools
   * Advanced▶
     * Modules
     * Grammars (DCGs)
     * clp(fd)
     * Printing messages
     * PlDoc
   * Web applications▶
     * Web applications
     * Let's Encrypt!
     * Pengines
   * Semantic web▶
     * ClioPatria
     * RDF namespaces
   * Graphics▶
     * XPCE
     * GUI options
   * Machine learning▶
     * Probabilistic Logic Programming
   * External collections▶
     * Meta level tutorials
   * For packagers▶
     * Linux packages
 * COMMUNITY
   * IRC
   * Forum & mailing list
   * Blog
   * News
   * Report a bug
   * Submit a patch
   * Submit an add-on
   * Roadmap (on GitHub)
   * External links
   * Contributing
   * Code of Conduct
   * Contributors
   * SWI-Prolog items
 * COMMERCIAL
 * WIKI
   * Login
   * View changes
   * Sandbox
   * Wiki help
   * All tags



Windows antivirus software works using signatures and heuristics. Using the huge
amount of virusses and malware known today, arbitrary executables are often
falsily classified as malicious. Google Safe Browsing, used by most modern
browsers, therefore often classifies our Windows binaries as malware. You can
use e.g., virustotal to verify files with a large number of antivirus programs.

Our Windows binaries are cross-compiled on an isolated Linux container. The
integrity of the binaries on the server is regularly verified by validating its
SHA256 fingerprint.

Please select the checkbox below to enable the actual download link.

I understand Download swipl-9.3.13-1.x64.exe (SHA256:
9c4ce8fc5a80a8d5894c8c9273f28d2bcba1387fdbf85549d6e0748284a0d5db) VIRUSTOTAL
Scan Result


login
Powered by SWI-Prolog 9.3.13-17-gbc14fa1b1