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...
8 KB (734 words) - 10:08, 17 February 2025
expressions. Prolog systems that provide a graphics library are SWI-Prolog, Visual Prolog, WIN-PROLOG, and B-Prolog. Prolog-MPI is an open-source SWI-Prolog extension...
72 KB (8,098 words) - 08:09, 15 June 2025
serving Swindon, Wiltshire, United Kingdom SWI-Prolog, a free implementation of the programming language Prolog Susceptibility weighted imaging, in magnetic...
1 KB (143 words) - 04:15, 4 January 2024
executables. Free and open-source software portal SWI-Prolog Comparison of Prolog implementations Prolog syntax and semantics "Daniel Diaz's Home Page"....
2 KB (102 words) - 00:33, 31 October 2024
Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer...
17 KB (562 words) - 21:08, 7 February 2025
any external tools". GitHub. 21 October 2021. "SWI-Prolog: Google's Protocol Buffers Library". "SWI-Prolog / contrib-protobufs". GitHub. Retrieved 2022-04-21...
14 KB (1,218 words) - 20:15, 8 April 2025
Serialization (section Prolog)
cases. As examples, see the corresponding manual pages for SWI-Prolog, SICStus Prolog, GNU Prolog. Whether and how serialized terms received over the network...
42 KB (4,974 words) - 07:49, 28 April 2025
modified version of the plunit unit testing library originally developed for SWI-Prolog and a custom integrated development environment named SPIDER. SICStus...
7 KB (769 words) - 02:47, 15 March 2024
Koudekerke) is a Dutch computer scientist. He initiated the SWI-Prolog implementation of the Prolog programming language in 1987 while employed at the University...
2 KB (132 words) - 07:10, 27 September 2023
System: a bridge to new prolog applications. In Prolog: The Next 50 Years (pp. 93–104). Cham: Springer Nature Switzerland. "SWI-Prolog Python interface". Archived...
175 KB (14,436 words) - 19:03, 10 June 2025
in CLP(BNR), in: 1st Workshop on Principles and Practice of Constraint Programming, 1993. GitHub site for a 2018 re-implementation in SWI-Prolog v t e...
3 KB (284 words) - 01:03, 22 April 2024
directly influenced by Quintus Prolog, including SICStus, SWI-Prolog, YAP and Ciao. Comparison of Prolog implementations Prolog syntax and semantics Körner...
6 KB (500 words) - 18:41, 22 August 2024
action groups." She is a software engineer known for her contributions to SWI-Prolog. Ogborn was an early practitioner of direct action in support of transgender...
6 KB (440 words) - 19:27, 1 November 2024
Common Lisp Versions of Scheme: Ikarus Chez Scheme Versions of Prolog: SWI-Prolog Yap Prolog XSB Versions of ML: Standard ML of New Jersey (Bell Labs' headquarters...
8 KB (849 words) - 19:32, 15 February 2025
CLP(R) (category Prolog programming language family)
a Prolog system in 1994, namely into SICStus Prolog. This implementation has since been ported to many popular Prolog systems, including Ciao, SWI-Prolog...
5 KB (589 words) - 13:24, 29 November 2024
constraints. Prolog is by far the most popular host language and CHR is included in several Prolog implementations, including SICStus and SWI-Prolog, although...
15 KB (1,883 words) - 22:46, 6 April 2025
Exupery Smalltalk/Slang 110k Smalltalk, ~300K C SWI-Prolog Prolog: SWI-Prolog, YAP Yes No C, SWI-Prolog TraceMonkey JavaScript Based on Tamarin No Yes...
17 KB (909 words) - 22:20, 22 March 2025
are Qu-Prolog and Strawberry Prolog and (optionally, via a runtime flag): XSB, SWI-Prolog, CxProlog, Tau Prolog, Trealla Prolog and Scryer Prolog. A variety...
7 KB (875 words) - 05:17, 23 May 2025
partly Apache 2.0 PHP PHP License Pony MIT PowerShell Core MIT Prolog BSD, GPL (SWI-Prolog) Pure Data BSD-3-Clause PureScript BSD Python Python Software...
7 KB (101 words) - 19:09, 16 April 2025
1007/978-3-642-14455-4_34. ISBN 978-3-642-14454-7. ISSN 0302-9743. "SWI-Prolog -- op/3". www.swi-prolog.org. "Declare an operator". seed7.sourceforge.net. "Defined...
19 KB (1,179 words) - 20:49, 6 May 2025
a Prolog program that solves the classical alphametic puzzle SEND+MORE=MONEY in constraint logic programming: % This code works in both YAP and SWI-Prolog...
18 KB (2,324 words) - 10:26, 27 May 2025
implemented as part of the cplint probabilistic logic programming package for SWI-Prolog, YAP and XSB. ProbLog has been extended or used as inspiration for several...
10 KB (1,000 words) - 08:11, 28 June 2024
"Photonios/rocksdb-php". GitHub. 11 August 2021. ""rocksdb" pack for SWI-Prolog". www.swi-prolog.org. "stephan-hof/pyrocksdb". GitHub. 27 October 2021. "rocksdb-ruby...
21 KB (1,527 words) - 13:31, 27 May 2025
under the single-tasking MS-DOS. PceEmacs is the Emacs-based editor for SWI-Prolog. Hemlock, originally written in Spice Lisp, then Common Lisp. A part of...
53 KB (6,387 words) - 07:46, 30 May 2025
Statement Documentation". Digital Mars. Retrieved 2008-08-04. "SWI-Prolog – foreach/2". Swi-prolog.org. Retrieved 2020-02-10. "Rebol". "Red Programming Language"...
42 KB (4,147 words) - 05:22, 3 December 2024
Prolog32 (category Prolog programming language family)
semi-automatic tool for teaching aids. A grammatical analyzer was implemented with SWI-Prolog, and after it was tested and analyzed with the Airty/Prolog32 interpreter...
3 KB (310 words) - 09:47, 18 March 2025
Logtalk (category Prolog programming language family)
back-end Prolog compilers include B-Prolog, Ciao Prolog, CxProlog, ECLiPSe, GNU Prolog, JIProlog, Quintus Prolog, Scryer Prolog, SICStus Prolog, SWI-Prolog, Tau...
7 KB (755 words) - 23:59, 3 November 2024
"The Journal of Functional and Logic Programming". University of Münster. Functional logic programming at U. Kiel "func" library for SWI-Prolog v t e...
2 KB (150 words) - 18:33, 6 June 2024
Paterson & Wegman (1978) sect.2, p.159 "Declarative integer arithmetic". SWI-Prolog. Retrieved 18 February 2024. Jonathan Calder, Mike Reape, and Hank Zeevat...
70 KB (7,377 words) - 06:19, 23 May 2025
List of unit testing frameworks (section Prolog)
sourceforge.net. "CameronWills/OEUnit". GitHub. 24 November 2020. "Prolog Unit Tests". Swi-prolog.org. Retrieved 2012-11-12. "Folder "tester"". xlog.ch. Archived...
188 KB (6,802 words) - 08:28, 5 May 2025