- Swi-prolog Download For Mac Windows 10
- Swi Prolog Download For Mac
- Swi-prolog Download For Mac Os
- Swi-prolog Download For Mac Windows 7
- Swi-prolog Download For Macbook Pro
Binaries; 11,825,869 bytes: SWI-Prolog 8.2.3-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 versi. I pushed some stuff that may hopefully resolve this. Building on the Mac now finds and uses the Oracle Java. There is a library for the Mac jplconfig.pl that provides jplconfigdylib/0 that updates libjpl.dylib. The checkinstallation/0 linked help page is updated and if JPL fails to load it points at jplconfigdylib/0 if you are using a Mac.
GNU Prolog is a free Prolog compiler with constraint solvingover finite domains developed by Daniel Diaz.GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems).
Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger.
The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...).
GNU Prolog also includes an efficient constraint solver over FiniteDomains (FD). This opens contraint logic programming to the user combiningthe power of constraint programming to the declarativity of logic programming.
- conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code,...).
- a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,...
- more than 300 Prolog built-in predicates.
- Prolog debugger and a low-level WAM debugger.
- line editing facility under the interactive interpreter withcompletion on atoms.
- powerful bidirectional interface between Prolog and C.
- native-code compiler producing stand alone executables.
- simple command-line compiler accepting a wide variety of files: Prolog files, C files, WAM files,...
- direct generation of assembly code 15 times faster than wamcc+ gcc.
- most of unused built-in predicates are not linked (to reducethe size of the executables).
- compiled predicates (native-code) as fast as wamcc on average.
- consulted predicates (byte-code) 5 times faster than wamcc.
Swi-prolog Download For Mac Windows 10
- FD variables well integrated into the Prolog environment (fullcompatibility with Prolog variables and integers). No need for explicitFD declarations.
- very efficient FD solver (comparable to commercial solvers).
- high-level constraints can be described in terms of simple primitives.
- a lot of predefined constraints: arithmetic constraints, boolean constraints, symbolic constraints, reified constraints,...
- several predefined enumeration heuristics.
- the user can define his own new constraints.
- more than 50 FD built-in constraints/predicates.
GNU Prolog also includes an efficient constraint solver over FiniteDomains (FD). The key feature of the GNU Prolog solver is the use of a single(low-level) primitive to define all (high-level) FD constraints. There aremany advantages of this approach: constraints can be compiled, the user candefine his own constraints (in terms of the primitive), the solver is openand extensible (as opposed to black-box solvers like CHIP),...Moreover, theGNU Prolog solver is rather efficient, often more than commercial solvers.
GNU Prolog is inspired by two systems developed by the same author: - wamcc: a Prolog to C compiler. the key point of wamccwas its ability to produce stand alone executables using an original compilation scheme: the translation of Prolog to C via the WAM. Its drawback was the time needed by gcc to compile the produced sources. GNU Prolog can alsoproduce standalone executables but using a faster compilation scheme.
- clp(FD): a constraint programming language over FD. Its key feature was the use of a single primitive to define FD constraints.GNU Prolog is based on the same idea but extends the power of primitive tomake it possible more complex constraint definitions. In comparison to clp(FD),GNU Prolog offers new predefined constraints, new predefined heuristics, reifiedconstraints,...
- ix86 / GNU/Linux
- ix86 / Win32 using Cygwin (see file src/WINDOWS)
- ix86 / Win32 using MinGW (see file src/WINDOWS)
- ix86 / Win32 using MSVC++ (see file src/WINDOWS)
- ix86 / SCO
- ix86 / Solaris
- ix86 / FreeBSD
- ix86 / OpenBSD
- ix86 / NetBSD
- ix86 / Darwin (Mac OS X)
- x86_64 / GNU/Linux
- x86_64 / Solaris
- x86_64 / Win64 using MinGW64 (see file src/WINDOWS64)
- x86_64 / Win64 using MSVC++ (see file src/WINDOWS64)
- x86_64 / Darwin (Mac OS X)
- PowerPC / GNU/Linux
- PowerPC / Darwin (Mac OS X)
- PowerPC / NetBSD
- sparc / SunOS (4.1.3 or higher)
- sparc / Solaris
- sparc / NetBSD
- alpha / GNU/Linux
- alpha / OSF1
- mips / irix
You can consult the following files:
- the general README file.
- the NEWS file.
- the ChangeLog file.
- HTML entirely on one web page
- HTML with one web page per chapter
- HTML compressed entirely on one web page (gzipped tar file)
- HTML compressed with one web page per chapter (gzipped tar file)
- TeX dvi (gzipped tar file)
Source distributions:
- the main source distribution gprolog-1.4.5.tar.gz.
- Mac OS X High Sierra installer package (created using MacPorts by Paulo Moura: installs GNU Prolog in /opt/local/ and /opt/local/bin).
- Windows intel 32 bits auto-install setup (compiled under ix86 / Windows 7 with MSVC++).
- Windows intel 32 bits auto-install setup (compiled under ix86 / Windows 7 with MinGW gcc under MSys).
- Windows intel 64 bits auto-install setup (compiled under x86_64 / Windows 7 with MSVC++).
- Windows intel 64 bits auto-install setup (compiled under x86_64 / Windows 7 with MinGW64 gcc under Cygwin).
Swi Prolog Download For Mac
Other versions:- Old versions can be found in this directory.
- Unstable versions can be found in this directory.
The GIT repository is hosted by sourceforge.
For windows users, a Notepad++ User Defined Lanuage(UDL) profile file for GNU Prolog (alsoavailable from theNotepad++wiki about UDL). To install: launch Notepad++, in the 'Language' menu,chose 'Define your own language', click on 'Import' and select the downloaded .xmlfile. Then close and restart Notepad++. Files suffixed with '.pl' and '.pro' shouldbe now recognized as Prolog files (else select 'Prolog (GNU)' from the 'Languages'menu). For more information seethe Notepad++wiki.
![Download Download](/uploads/1/2/4/8/124852736/317916159.png)
GNU Prolog is present on the Black Duck Open Hub site.
Contributions are welcome. If you want to include your contribution please post a mail to [email protected] (for more information on this list click here). Here is a list of available contributions:
- Bedevere - a SWIG wrapper
- CLIP - aCLP(Intervals) interpreter
- CLPGUI- a graphical user interface for CLP
- cTI - a constrained-based left Termination Inference tool for ISO-Prolog
- GNU Prolog/CX - an extension of GNU Prolog for Contextual Logic Programming
- gnuprolog-json - a GNU Prolog JSON library
- gnuprolog-redisclient - a GNU Prolog redis client
- gprolog-rh- an extension of gprolog with attributed variables, coroutinings and CLPover reals
- Logtalk - Object Orientedextension to Prolog
- Muscle PS/SC - an interface to the Muscle PC/SC library
- MySQL/Prolog - an interface to MySQL database
- ODBC/Prolog -a small ODBC interface module for gprolog
- XGP - a Mac OS X IDE connecting gprolog and Cocoa
- CGI programming - an introduction to CGI-Programming with GNU-Prolog
The mailing list [email protected]: is for communicating with other GNU Prolog users and/or implementors:
- To inform other uses send a mail to [email protected].
- To (un)subscribe to this list send a mail to [email protected] with (un)subscribe in the subject line.
- You can also (un)subscribe via the web at http://mail.gnu.org/mailman/listinfo/users-prolog.
- From the same site you can also browse the archive.
To inform other uses send a mail to [email protected]. To (un)subscribe to this list send a mail to [email protected] (un)subscribe in the subject line. You can also (un)subscribe via the web at http://mail.gnu.org/mailman/listinfo/bug-prolog.
From the same site you can also browse the archive.
Swi-prolog Download For Mac Os
Bug reports are crucial for our work. If we don't know aboutproblems, we cannot fix them. On the other hand it is a waste of time toread/check/answer for bugs which are not bugs ! Please consult the manual(an on-line version is available). If youcan try to check if the bug occurs with the last unstable version (all unstable versions are here). If you already use the last unstableversion try the last stable version. When you are sure you have discovered a bug,please report it to [email protected] (for more information on this list click here).Your report should include all these things:
- The type of machine you are using (use uname -a under Unix).
- GNU Prolog version (use gprolog --version).
- The operands given to the `configure' and the output of the configuration if the bug concerns the compilation/installation phase.
- The complete text of any files needed to reproduce the bug. Try to obtain a minimal example showing the bug.
- The precise commands we need to type to reproduce the bug.
- A description of what behavior you observe that you believe is incorrect.
- If you wish to mention something in the GNU Prolog source, show the line of code with a few lines of context. Do not just give a line number.
Copyright (C) 1999-2018 Daniel Diaz
Verbatim copying and distribution of this entire article is permittedin any medium, provided this notice is preserved.
![Swi-prolog download for mac windows 7 Swi-prolog download for mac windows 7](/uploads/1/2/4/8/124852736/515956122.png)
Swi-prolog Download For Mac Windows 7
Linux versions are often available as a package for your distribution.We collect information about available packages and issues for buildingon specific distros here.We provide a PPAfor Ubuntu and snapimages
Pleasecheck the windows release notes (also in theSWI-Prolog startup menu of your installed version) for details.
Examine the ChangeLog.
Binaries | ||
---|---|---|
11,825,869 bytes | SWI-Prolog 8.2.3-1 for Microsoft Windows (64 bit) Self-installing executable for Microsoft's Windows 64-bit editions.Requires at least Windows 7. See the referencemanual for deciding on whether to use the 32- or64-bits version. This binary is linked against GMP 6.1.1 which iscovered by the LGPL license. SHA256:b4297d1d60ce050daf0d07764487370ef475cad70b54a96b074f83138d792cd6 | |
11,468,354 bytes | SWI-Prolog 8.2.3-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 linkedagainst GMP 6.1.1 which is covered by the LGPL license. SHA256:a05901d850c8e3138dab176ab10fab6b44ba452d35c7076b65d213dfcd89c209 | |
27,660,126 bytes | SWI-Prolog 8.2.3-1 for MacOSX 10.12 (Sierra) and later 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 developmenttoolsSHA256:235a08a3fcc4eecfa023a8e4f89a78ce54f7723120883f9944efaaf89930f444 | |
Sources | ||
10,999,577 bytes | SWI-Prolog source for 8.2.3 Sources in .tar.gz format, including packages and generated documentationfiles. See build instructions.SHA256:9403972f9d87f1f4971fbd4a5644b4976b1b18fc174be84506c6b713bd1f9c93 | |
Documentation | ||
2,485,556 bytes | SWI-Prolog 8.2.3 reference manual in PDF SWI-Prolog reference manual as PDF file. This does not include thepackage documentation. | |
Show all files |
Install scripts may download the SHA256 checksum by appending
.sha256
to the file name. Scripts can downloadthe latest version by replacing the version of the file withlatest
. This causes the server to reply with thelocation of the latest version using anHTTP 303 See Other
message.Swi-prolog Download For Macbook Pro
SWI-Prolog version 8
The SWI-Prolog 8.0 major release marks mostly a milestone for theinternals, stability, deployment options and maintainability of thesystem. SWI-Prolog extensions and incompatibilities wrt. traditionalProlog are described in extensions.
SWI-Prolog 8.2 notably brings much of the advanced tabling support ofXSB to SWI-Prolog: Well Founded Semantics, restraints (boundedrationality), incremental tabling and shared tabling. It also makesrational numbers primary citizens. Using Google's tcmalloc reduces thememory footprint drastically on some multi-threaded workloads.