Скачать swi prolog для windows 10

Linux versions are often available as a package for your distribution. We collect information about available packages and issues for building on specific distros here. We provide a PPA for Ubuntu and snap images

linux.png
Linux versions are often available as a package for your distribution.
We collect information about available packages and issues for building
on specific distros here.
We provide a PPA
for Ubuntu and snap
images

Android.png Android
binaries are available for Termux as the package
swi-prolog. See also Building SWI-Prolog on Android using
LinuxOnAndroid

windows.jpg Please
check the windows release notes (also in the
SWI-Prolog startup menu of your installed version) for details.

WIP.png
Examine the ChangeLog.

Binaries
Windows version (64-bits) 13,163,366 bytes SWI-Prolog 9.0.4-1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft’s Windows 64-bit editions.
Requires at least Windows 7. See the reference
manual for deciding on whether to use the 32- or
64-bits version. This binary is linked against GMP 6.1.1 which is
covered by the LGPL license.

:33758f1c2dd190df9c8828d2dcb39166ad10d31d78f1198812e6d0f33b71c73b

Windows version (32-bits) 13,203,365 bytes SWI-Prolog 9.0.4-1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Requires at least Windows 7.
Installs swipl-win.exe and swipl.exe. This binary is linked
against GMP 6.1.1 which is covered by the LGPL license.

:c99b7b794d14335ca6fda556f959e74c4b1b51877673a404f87c9cb68bce794c

MacOS bundle 51,743,650 bytes SWI-Prolog 9.0.4-1 for MacOSX 10.14 (Mojave) and later on x86_64 and arm64

Installer with binaries created using Macports.
Installs /opt/local/bin/swipl. Needs xquartz (X11)
and the Developer Tools (Xcode) installed for running the development
tools

:a6f32683e4c42e62ea6f8f481ac1f5f5fbfa2623b5c32eb21396a04c5ebbc197

MacOS bundle 28,195,489 bytes SWI-Prolog 8.4.1-1 for MacOSX bundle on intel

Installer with binaries created using Macports.
Installs /opt/local/bin/swipl. Needs xquartz (X11)
and the Developer Tools (Xcode) installed for running the development
tools

:1b9c62caa781818a0dafd1d822ab563b8c10c7cd018ce10a3b71f900eb3a434f

Sources
Source archive 11,854,471 bytes SWI-Prolog source for 9.0.4

Sources in .tar.gz format, including packages and generated documentation
files. See build instructions.

:feb2815a51d34fa81cb34e8149830405935a7e1d1c1950461239750baa8b49f0

Documentation
PDF file 3,153,520 bytes SWI-Prolog 9.0.4 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the
package documentation.

Show all files

Install scripts may download the SHA256 checksum by appending
.sha256 to the file name. Scripts can download
the latest version by replacing the version of the file with
latest. This causes the server to reply with the
location of the latest version using an
HTTP 303 See Other message.

SWI-Prolog version 9

The SWI-Prolog 9.0 consolidates many improvements of the 8.x series.
This major release mainly adds and improves features. Upgrading from
any 8.x release should not come with major compatibility issues.

Highlights:

  • Mature and feature-rich tabling support including well founded
    semantics
    , incremental tabling, monotonic tabling and
    shared tabling.
  • Single sided unification [SSU](/pldoc/man?section=ssu) and zero-cost
    runtime determinism checking. See also $/0, $/1 and det/1.
  • Database transactions see transaction/1 and snapshot/1.
  • A new C++ interface that covers the whole foreign API and provides
    much better type safety.
  • Linux versions are by default linked to
    tcmalloc. This provides more
    information and control and reduces the footprint of multi-threaded
    7×7 servers considerably compared to the default ptmalloc.
  • Interfaces to Redis and
    STOMP message passing systems.
  • A port to WASM WebAssembly allows running
    SWI-Prolog in the browser. The high level bi-directional interfaces
    to JavaScript allows for inspecting and modifying the browser DOM.
  • A completely new GNU-Emacs package called
    sweep. Sweep embeds Prolog, which
    allows for semantic highlighting and much more.
  • A bundled replacement for GMP, providing
    unbounded integers and rational numbers based on
    LibBF under a permissive license.
    Currently significantly slower on notably larger rational numbers.

linux.png
We collect information about available packages and issues for building
on specific distros here.
We provide a PPA
for Ubuntu and snap
images

WIP.png
Examine the ChangeLog.

Binaries
Windows version (64-bits) 13,189,622 bytes SWI-Prolog 9.1.4-1 for Microsoft Windows (64 bit)

Self-installing executable for Microsoft’s 7/8/10 64-bit
editions. See the reference manual for deciding
on whether to use the 32- or 64-bits version.

:206715c96490f636f291312ad86cb60a153d6c9152c3e284438abcf160389d91

Windows version (32-bits) 13,228,661 bytes SWI-Prolog 9.1.4-1 for Microsoft Windows (32 bit)

Self-installing executable for MS-Windows. Installs swipl-win.exe
and swipl.exe. Works on Windows 7/8/10.

:9cab00d1d0cc53594739614e68267247ae836e25b221f7ba8318a30a45e4193d

MacOS bundle 51,742,278 bytes SWI-Prolog 9.1.4-1 for MacOSX 10.14 (Mojave) and later on x86_64 and arm64

Mac OS X disk image with relocatable application
bundle.
Needs xquartz (X11) installed for running the
development tools. The bundle also provides the
commandline tools in the Contents/MacOS directory. Users of older
MacOS versions are adviced to use Macports, Homebrew or install from
source. This bundle contains universal (fat) binaries that run natively
on Intel and Apple Silicon (M1, arm64).

:77ed1b2b686c822494c6fc67d3d533f032e4591327fdee252e38fbdbaa994380

MacOS bundle 28,228,994 bytes SWI-Prolog 8.5.3-1 for MacOSX bundle on intel

Mac OS X disk image with relocatable application
bundle.
Needs xquartz (X11) installed for running the
development tools. The bundle also provides the
commandline tools in the Contents/MacOS directory. Users of older
MacOS versions are adviced to use Macports, Homebrew or install from
source.

:39f755e651abedbc7954215949007a115bb676cc6221ae7881a71819487fadf9

Sources
Source archive 11,860,067 bytes SWI-Prolog source for 9.1.4

Sources in .tar.gz format, including packages. See build
instructions. See also the GIT
repository.

:ce064399da14611cf044fa22c32a0a5ec1df0ec5ffe0e21ae70518c39364f4f8

Documentation
PDF file 3,152,513 bytes SWI-Prolog 9.1.3 reference manual in PDF

SWI-Prolog reference manual as PDF file. This does not include the
package documentation.

Show all files

Install scripts may download the SHA256 checksum by appending
.sha256 to the file name. Scripts can download
the latest version by replacing the version of the file with
latest. This causes the server to reply with the
location of the latest version using an
HTTP 303 See Other message.

About the development releases

The development branches have their own GIT repository at the address
below. See the general GIT instructions for details.

% git clone https://github.com/SWI-Prolog/swipl-devel.git

Should I use the development release or the stable one?

Many active SWI-Prolog users track the development releases or GIT
versions for developing Prolog applications. Most of the time the
development versions are fairly stable. Infrequent larger rewrites to
the core infrastructure that may cause instability is typically
announced on the forum.

Tracking the latest version offers some advantages for you are user:

  • Bug fixes are quickly available.
  • When you are stuck on a missing feature you can use this quickly
    after it has been added.
  • Although you are a little more often confronted with
    incompatibilities and regressions, such issues can be discussed and
    resolved.

SWI-Prolog: A comprehensive Prolog implementation

SWI-Prolog is an open source (BSD-2) implementation of the Prolog
language with many extensions. It is implemented in C (version 11) and
Prolog and is available for many platforms (Linux, practically any POSIX
like system, MacOS, Windows). All CPUs supported by Debian Linux are
supported. A prototype running in your browser based on WASM (Web
Assembly) is available.

(SWI-)Prolog is a versatile language. It is being used for business rule
validation, natural language processing, software verification, software
refactoring, network configuration, security, robotics, reasoning in
legal and medical domains, graph processing, machine learning (ILP,
PLP), linked data (RDF), mathematical proofs, and much more.

If you are interested in commercial assistence to make SWI-Prolog work
in your organization, please contact SWI-Prolog Solutions
b.v..

Forking, cloning and submitting patches

This repository uses many Git
submodules. This
causes the common issue that fork and clone doesn’t work. Instead,
clone from https://github.com/SWI-Prolog/swipl-devel.git and then
associate your clone with your fork (replace me with your github
user name).

git clone https://github.com/SWI-Prolog/swipl-devel.git
cd swipl-devel
git submodule update --init
git remote add myfork git@github.com:me/swipl-devel.git

See How to submit a patch
for details.

See also the discussion at Being friendly to quick
contributions

Building

See
CMAKE.md
and Build SWI-Prolog from source

Web home

Please find the up-to-date information on SWI-Prolog at
https://www.swi-prolog.org.

Trying SWI-Prolog online

An online version of SWI-Prolog is provided by
SWISH. Note that this version is subject
to sandbox restrictions and does not provide the features most valued in
SWI-Prolog such as its rich set of interfaces, multi-threading, modules,
etc.

Forum/mailing list

Our forum is hosted at a Discourse
site. The forum provides a mail
list interface.

Documentation

Documentation is available from several locations and in several formats.

  • Several tutorials can be accessed from the Tutorials menu on
    the home page

  • A HTML version of the documentation is in the doc/Manual directory
    of the installation. Note that some packagers put this documentation
    elsewhere or require it to be installed separately.

    These docs can be searched using ?- apropos("query").. Help on
    a predicate can be disaplayed using e.g., ?- help(append/3).

  • A PDF version of the documentation is available from the download
    page

You can also install the website locally to use its complete
functionality if you are offline. It is available at
https://github.com/SWI-Prolog/plweb.

Предположительно у вас система Windows 7, разрядность: 64 Bits
  Подробнее

Версия для 32-битных систем Windows:

Скачать SWI-Prolog (32-бита) с официального сайта

Этот файл мы отметили как основной. Если вы не знаете что скачивать, то скачивайте его.

12.59 Мб

Подробнее

+

0

-

0

swipl-9.0.4-1.x86.exe
|
www.swi-prolog.org
MD5: 2b104a044fb547d19de805c282bdc21b
SHA256: c99b7b794d14335ca6fda556f959e74c4b1b51877673a404f87c9cb68bce794c

Скачать SWI-Prolog (32-бита) с нашего сайта

12.59 Мб


Проверено антивирусами

Подробнее

+

0

-

0

swipl-9.0.4-1.x86.exe
|
soft.mydiv.net
MD5: 2b104a044fb547d19de805c282bdc21b
SHA256: c99b7b794d14335ca6fda556f959e74c4b1b51877673a404f87c9cb68bce794c

Версия для 64-битных систем Windows:

Скачать SWI-Prolog (64-бита) с нашего сайта

12.55 Мб


Проверено антивирусами

Подробнее

+

0

-

0

swipl-9.0.4-1.x64.exe
|
soft.mydiv.net
MD5: bde3d97686408a5d3a9a9410c3aa33d9
SHA256: 33758f1c2dd190df9c8828d2dcb39166ad10d31d78f1198812e6d0f33b71c73b

Внимание! Мы стараемся тщательно проверять все программы, но не гарантируем абсолютную безопасность скачиваемых файлов. Администрация сайта не
несет ответственности за содержание файлов, программ и возможный вред от их использования.

Advanced debugging features»

Since the archaic machine code programming method that uses bytecodes became obsolete, many advanced programming languages have evolved. Some of these languages are for the creation of general purpose applications while most aligns to performing some specific tasks. The Prolog logic programming language is a perfect platform for computational linguistics and artificial intelligence applications. This application is designed to provide faster compilation and debugging tasks by using the Proof virtual machine to define instructions.

The application can be adapted to perform unique tasks such as cross-referencing, executing profiling, and comprehensive debugging. The application also contains a collection of libraries that are critical to carrying out programming tasks such as HTML, and XML parsers, the web server library for session management, authorization modes for HTML and HTTP.

The interface of the application is intuitive, it allows the programmer to work with codes in C and C++ with excellent performance. The debugging functions consist of the Spy Point Editor, a thread monitor, an exception debugger, and a dependency management tool.

The vast array of features, libraries and the compilation speed makes it an excellent tool for application developers.

SWI-Prolog is licensed as freeware for PC or laptop with Windows 32 bit and 64 bit operating system. It is in debuggers / decompilers category and is available to all software users as a free download.

Share
Give a rating

1 vote, average: 4.00 out of 51 vote, average: 4.00 out of 51 vote, average: 4.00 out of 51 vote, average: 4.00 out of 51 vote, average: 4.00 out of 5 (1 votes, average: 4.00 out of 5)
login to vote

Loading…

Author
Jan Wielemaker


Last Updated On
October 17, 2018
Runs on
Windows 10 / Windows 8 / Windows 7 / Windows Vista / XP
Total downloads
1,135
License

Free

File size
23,47 MB
Filename

swipl-w32-764.exe

swipl-w64-764.exe


Chocolatey Community Coffee Break

Join the Chocolatey Team on our regular monthly stream where we discuss all things Community, what we do, how you can get involved and answer your Chocolatey questions.


Chocolatey Product Spotlight

Join the Chocolatey Team on our regular monthly stream where we put a spotlight on the most recent Chocolatey product releases. You’ll have a chance to have your questions answered in a live Ask Me Anything format.


Announcing Chocolatey Central Management 0.10.0

Livestream from
Thursday, 06 October 2022

We recently released our largest update to Chocolatey Central Management so far. Join Gary and Steph to find out more about Chocolatey Central Management and the new features and fixes we’ve added to this release.

Watch On-Demand


Chocolatey and Intune Overview

Webinar Replay from
Wednesday, 30 March 2022

At Chocolatey Software we strive for simple, and teaching others. Let us teach you just how simple it could be to keep your 3rd party applications updated across your devices, all with Intune!

Watch On-Demand


Chocolatey For Business. In Azure. In One Click.

Livestream from
Thursday, 9 June 2022

Join James and Josh to show you how you can get the Chocolatey For Business recommended infrastructure and workflow, created, in Azure, in around 20 minutes.

Watch On-Demand


The Future of Chocolatey CLI

Livestream from
Thursday, 04 August 2022

Join Paul and Gary to hear more about the plans for the Chocolatey CLI in the not so distant future. We’ll talk about some cool new features, long term asks from Customers and Community and how you can get involved!

Watch On-Demand


Hacktoberfest Tuesdays 2022

Livestreams from
October 2022

For Hacktoberfest, Chocolatey ran a livestream every Tuesday! Re-watch Cory, James, Gary, and Rain as they share knowledge on how to contribute to open-source projects such as Chocolatey CLI.

Watch On-Demand


Chocolatey Product Spotlight: Chocolatey 1.2.0 and Chocolatey Licensed Extension 5.0.0

Livestream from
Thursday, 03 November 2022

Join Paul and Gary for this months Chocolatey product livestream where we look at the latest release of Chocolatey 1.2.0, Chocolatey Licensed Extension 5.0.0 and shine a spotlight on the new hook scripts functionality. This opens up so many possibilities for Chocolatey CLI users!

Watch On-Demand


Chocolatey Coding Livestream

Livestream from
Tuesday, 29 November 2022

Join Josh as he adds the ability to manage Chocolatey GUI config and features with the Chocolatey Ansible Collection.

Watch On-Demand


Introduction into Chocolatey with Veeam

Webinar from
Tuesday, 13 December 2022

Join Gary, Paul, and Maurice as they introduce and demonstrate how to use Chocolatey! Questions will be answered live in an Ask Me Anything format.

Watch On-Demand


Like this post? Please share to your friends:
  • Скачать svchost exe для windows 7 x64
  • Скачать tmac v6 для windows 10
  • Скачать survivalcraft 2 на пк windows 10
  • Скачать tls client для windows 10
  • Скачать survivalcraft 2 на windows phone