Download standalone portable version of SWI-Prolog 7.2.3 for Windows 32-bit and 64-bit. Portable SWI-Prolog 7.2.3 is a useful IDE with code editor and debugger for Prolog Programming Language.
SWI-Prolog has been tested by Download82.com team against viruses, spyware, adware, trojan, backdoors and was found to be 100% clean. Our editors will recheck this software periodically to assure that it remains clean. SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI. Find $10 discounted coupons for my courses. In this video prolog tutorial i will teach and describe how to load, compile and run a prolog program written in swi prolog in windows. In addition i. Method 1: Uninstall SWI-Prolog 5.11.26 Development / 5.10.5 Stable via Programs and Features. When a new piece of program is installed on your system, that program is added to the list in Programs and Features.
Portable SWI-Prolog 7.2.3 Review
Prolog is a logic-based programming language with some rules and regulations. For robust and smooth development, many industrial projects rely on Prolog Programming Language. There are a variety of applications for development in Prolog. SWI-Prolog is one of the useful and best applications for developing different projects in Prolog. The user interface of the application is quite simple and intuitive with neat & clean code editor and many powerful tools for development. It is a portable and a very lightweight tool which does not leave any trace when you remove it. There is also no need to install this application, you can carry it anywhere with you on a removable storage device.
This is the tool you can rely on when developing either educational and industry level projects. Moreover, you can compile and debug Prolog projects with more perfection. It contains all the tools for editing and compiling projects as well as modifying different settings like buffers and more. In addition, you can manage exceptions and monitor running threads for a robust and optimized solution.
Features of Portable SWI-Prolog 7.2.3
Top most features of SWI-Prolog 7.2.3 are:
- Lightweight Prolog Development Environment
- Portable tool with no leftovers and registry traces
- Neat and clean user interface
- Compile and debug projects with ease
- Edit and compile projects effectively
- Manage the buffers
- Fix bugs and create industry level projects
- Monitor threads and edit exceptions
- Rely on Prolog Virtual Machine
- Supports both static and dynamic code
- Source-level debugging
- Detailed help and tutorials
- Multi-threading support and much more
Technical Details of Portable SWI-Prolog 7.2.3
Take a look at the technical details of SWI-Prolog 7.2.3 Portable before downloader it.
- Compatible with Windows 10/8/7/Vista/XP
- File Size: 11.6 MB
- RAM Required: 512 MB
- Processor Required: Intel Pentium 4
- Developer: Homepage
Portable SWI-Prolog 7.2.3 Free Download
Clicking the below button will start downloader the standalone offline setup of Portable SWI-Prolog 7.2.3 for Windows. It is compatible with x86 and x64 architecture. It is the best application for developing Prolog projects.
The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language.
Portability[edit]
Verbace pro 2.5 license code. There are Prolog implementations that are radically different, with different syntax and different semantics (e.g. Visual Prolog)[1] and sub-communities have developed around different implementations.[1]
Code that strictly conforms to the ISO-Prolog core language is portable across ISO-compliant implementations. However, the ISO standard for modules was never accepted by most Prolog implementors.[1]
Factors that can adversely affect portability include: use of bounded vs. unbounded integer arithmetic, additional types such as string objects, advanced numeric types (rationals, complex), feature extensions such as Unicode, threads, and tabling.[2] Use of libraries unavailable in other implementations and library organisation:[1]
Currently, the way predicates are spread over the libraries and system built-ins differs enormously. [..] Fortunately, there are only few cases where we find predicates with the same name but different semantics (e.g. delete/3)
Main features[edit]
Platform | Features | Toolkit | Prolog Mechanics | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | OS | Licence | Native Graphics | Compiled Code | Unicode | Object Oriented | Native OS Control | Stand Alone Executable | C Interface[3] | Java Interface[3] | Interactive Interpreter | Debugger | Code Profiler | Syntax |
BProlog | Unix, Windows, Mac OS X | Free for non-commercial uses | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, plus event-handling, CLP(FD), and tabling | |
JIProlog | JVM, Android | Shareware/Commercial and AGPL | Yes | Yes | Yes via Java | Yes | Yes via Java | Yes | Yes | Yes | ISO-Prolog | |||
Ciao | Unix, Windows, Mac OS X | GPL, LGPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, plus extensions | ||
DOS-PROLOG | MS-DOS | Shareware | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh Prolog | |||||
ECLiPSe | Linux, Windows, Solaris, macOS | MPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Extended Prolog, Multi-dialect, including ISO | ||||
GNU Prolog | Unix, Windows, Mac OS X | GPL, LGPL | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog | |||||
Jekejeke Prolog | JVM, Android | Distribution Evaluation | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, Java API | |||
JLog | JVM | GPL | Yes | Yes | Yes | Yes | ISO-Prolog | |||||||
JScriptLog | Web Browser | GPL | Yes | ISO-Prolog | ||||||||||
jTrolog | JVM | LGPL | Yes | Yes | Yes | Yes | ISO-Prolog tests[permanent dead link] | |||||||
LPA-PROLOG | Windows | Commercial | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh Prolog with extensions |
Open Prolog | Mac OS | Freeware | Yes | |||||||||||
Poplog Prolog | Linux (32- and 64-bit), Unix, Windows | Free Open Source | Only through POP-11, on Linux | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh Prolog, with interfaces to Poplog Common Lisp and Pop-11 | ||||
SICStus Prolog | Unix, Linux, Windows, macOS | Commercial | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog |
Strawberry Prolog | Windows, Unix | Freeware, Commercial | Yes | Yes | Yes | Yes | Yes | Not ISO-Prolog + extensions | ||||||
SWI-Prolog | Unix, Linux, Windows, macOS | BSD License | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, Edinburgh Prolog | |
tuProlog | JVM, Android | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog | |||||
Visual Prolog | Windows | Freeware, Commercial | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | |||
XSB Prolog | Linux, Windows, Solaris, macOS | LGPL | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | ISO-Prolog, tabled WFS | ||
YAP-Prolog | Linux, Windows, Solaris, Mac OS X, HP-UX | GPL or Artistic (user choice) | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Edinburgh, ISO-Prolog, Quintus and SICStus Prolog compatible |
Operating system and Web-related features[edit]
Swi Prolog
Web-related | ||||||||
---|---|---|---|---|---|---|---|---|
Name | Conditional compilation | Sockets | Multi-threading | Tabling | HTTP client | HTTP server | HTML Parser | RDF Triple store |
BProlog | Yes | |||||||
Ciao | Yes | Yes | Yes | Yes | Yes | Yes | Yes | |
ECLiPSe | Yes | Yes | Yes | Yes | Yes | |||
GNU Prolog | Yes | |||||||
Jekejeke Prolog | Yes | Yes | Yes | Yes | Yes | |||
LPA-Prolog | Yes | Yes | Yes | Yes | ||||
SICStus Prolog | Yes | Yes | Yes | |||||
SWI-Prolog | Yes | Yes | Yes | Yes | Yes | Yes | Yes | Yes |
Visual Prolog | Yes | Yes | Yes | Yes | Yes | Yes | ||
XSB | Yes | Yes | Yes | Yes | Yes | |||
YAP-Prolog | Yes | Yes | Yes | Yes |
Static analysis[edit]
Name | Type checker | Determinacy checker | Call-pattern checker |
---|---|---|---|
Ciao | Yes | Yes | Yes |
GNU Prolog | |||
Jekejeke Prolog | |||
SICStus Prolog | Yes | ||
SWI-Prolog | Yes | ||
Visual Prolog | Yes | Yes | Yes |
XSB | |||
YAP-Prolog |
Optimizations[edit]
Name | Tail-Call Optimization | Choice Point Elimination | Environment Trimming | Just-in-Time Indexing |
---|---|---|---|---|
Ciao | Yes | Yes | Yes | ? |
ECLiPSe | Yes | Yes | Yes | multi-argument (compile time) |
GNU Prolog | Yes | Yes | Yes | ? |
Jekejeke Prolog | Yes (runtime) | Yes (runtime) | Yes (runtime) | Yes |
SICStus Prolog | Yes | Yes | Yes | |
SWI-Prolog | Yes | Yes | Yes | Yes |
Visual Prolog | Yes (compile time) | Yes (compile time) | N/A | N/A (compile time) |
XSB | Yes | Yes | Yes | ? |
YAP-Prolog | Yes | Yes | Yes | Yes |
Release[edit]
Name | Version | Date |
---|---|---|
BProlog | 8.1 | 2014-02-23 |
JIProlog | 4.1.6.1 | 2018-03-17 |
Ciao | 1.18.0 | 2018-12-19 |
DOS-PROLOG | 6.0 | |
ECLiPSe | 7.0 | 2018-01-22 |
GNU Prolog | 1.4.5 | 2018-07-14 |
Jekejeke Prolog | 1.3.1 | 2018-11-02 |
JLog | 1.3.6 | 2007-09-13 |
JScriptLog | 0.7.5 beta | 2007-09-10 |
jTrolog | ||
LPA-PROLOG | 6.0 | |
Open Prolog | ||
Poplog Prolog | V15.65 | 2015-10-14 |
SICStus Prolog | 4.5.1 | 2019-04-03 |
Strawberry Prolog | 3.0 Beta 4 | 2013-12-10 |
SWI-Prolog | 8.0.3 | 2019-06-19 |
tuProlog | 3.2.1 | 2017-02-14 |
Visual Prolog | 9.0, Build 902 | 2019-04-26 |
XSB Prolog | 3.8 | 2017-10-29 |
YAProlog | 6.3.3 | 2013-01-21 |
Benchmarks[edit]
Swi Prolog Windows 10 Download
- Benchmarking issues: Odd Prolog benchmarking, Performance differences.[4]
- Benchmarking software: older, Dobry[permanent dead link], Aquarius benchmark suite, (Bothe, 1990),[5](Demoen et al. 2001), benchmark descriptions
- Benchmarking results: B-Prolog, SICStus, XSB,[6] SICStus vs Yap vs hProlog[7]
- Benchmarking results: Survey of java prolog engines by Michael Zeising
- Benchmarking results: OpenRuleBench yearly open-source benchmark of rule engines
References[edit]
- ^ abcdWielemaker, J.; Costa, V. T. S. (2011). 'On the Portability of Prolog Applications'. Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. 6539. p. 69. CiteSeerX10.1.1.1030.9396. doi:10.1007/978-3-642-18378-2_8. ISBN978-3-642-18377-5.
- ^Jan Wielemaker and Vıtor Santos Costa: Portability of Prolog programs: theory and case-studies. CICLOPS-WLPE Workshop 2010.
- ^ abC/Java interface can also be used for graphics and OS control.
- ^B. Demoen, and P. Nguyen, About unnecessary performance differences between Prolog implementations, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001)
- ^Bothe, K. (1990). 'A prolog space benchmark suite'. ACM SIGPLAN Notices. 25 (12): 54–60. doi:10.1145/122193.122197.
- ^A Summary of XSB Performance (1993)
- ^Demoen, B.; Nguyen, P. L.; Vandeginste, R. (2002). 'Copying Garbage Collection for the WAM: to Mark or Not to Mark?'. Logic Programming. Lecture Notes in Computer Science. 2401. pp. 194–208. CiteSeerX10.1.1.13.2586. doi:10.1007/3-540-45619-8_14. ISBN978-3-540-43930-1.
External links[edit]
- Overview of Prolog Systems by Ulrich Neumerkel
Retrieved from 'https://en.wikipedia.org/w/index.php?title=Comparison_of_Prolog_implementations&oldid=913084423'