×

SWI-Prolog

swMATH ID: 20950
Software Authors: Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.
Description: SWI-Prolog. SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes, primarily for knowledge-intensive and interactive systems. Community contributions have added several interfaces and the constraint (CLP) libraries. Commercial involvement has created the initial garbage collector, added several interfaces and two development tools: PlDoc (a literate programming documentation system) and PlUnit (a unit testing environment). In this article, we present SWI-Prolog as an integrating tool, supporting a wide range of ideas developed in the Prolog community and acting as glue between foreign resources. This article itself is the glue between technical articles on SWI-Prolog, providing context and experience in applying them over a longer period.
Homepage: http://www.swi-prolog.org/
Related Software: SICStus; ProbLog; B-Prolog; XSB; Aleph; YAP-Prolog; cplint; Pengines; GitHub; clpfd; Prolog; Python; Metaopt; PITA; R; COMET; PRISM; Metagol; Oz; Smodels
Referenced in: 47 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
SWI-Prolog. Zbl 1244.68023
Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn
2012
all top 5

Referenced by 89 Authors

6 Riguzzi, Fabrizio
5 Schrijvers, Tom
5 Wielemaker, Jan
4 Bergenti, Federico
3 Lager, Torbjörn
3 Monica, Stefania
3 Muggleton, Stephen H.
3 Triska, Markus
2 Angelopoulos, Nicos
2 Bellodi, Elena
2 Cropper, Andrew
2 Lamma, Evelina
2 Liu, Yanhong Annie
2 Nguembang Fadja, Arnaud
2 Rossi, Gianfranco
2 Seki, Hirohisa
2 Zese, Riccardo
1 Abdallah, Samer A.
1 Abreu, Salvador
1 Alberti, Marco
1 Anger, Christian
1 Arias, Joaquin
1 Azzolini, Damiano
1 Beetz, Michael
1 Calejo, Miguel
1 Carro, Manuel
1 Caselles Costa, Vicent
1 Codish, Michael
1 Cota, Giuseppe
1 Dai, Wang-Zhou
1 Dal Palù, Alessandro
1 Demoen, Bart
1 Desouter, Benoit
1 Di Franco, Anthony
1 Falomir, Zoe
1 Frank, Michael
1 Giamas, Georgios
1 Girlando, Marianna
1 Guidi, Ferruccio
1 Gupta, Gopal K.
1 Hamanaka, Masatoshi
1 Hirata, Keiji
1 Howe, Jacob M.
1 Iranzo, Pascual Julián
1 Kaliszyk, Cezary
1 Khan, Abdullah S.
1 King, Andy
1 Konczak, Kathrin
1 Kowalski, Robert A.
1 Lellmann, Björn
1 Lierler, Yuliya
1 Linke, Thomas
1 Lisitsa, Alexei P.
1 Mesnard, Fred
1 Moitra, Abha
1 Morel, Rolf
1 Nalepa, Grzegorz J.
1 Nüchter, Andreas
1 Olivetti, Nicola
1 Pakin, Scott
1 Payet, Étienne
1 Pesce, Stefano
1 Pich, Albert
1 Pozzato, Gian Luca
1 Sacerdoti Coen, Claudio
1 Sadri, Fariba
1 Sáenz-Pérez, Fernando
1 Salazar, Elmer
1 Sammut, Claude
1 Samulowitz, Horst
1 Shakerin, Farhad
1 Shbita, Basel
1 Skripkauskas, L.
1 Ślażyński, Mateusz
1 Stoller, Scott D.
1 Stuckey, Peter James
1 Susman, Benjamin
1 Tack, Guido
1 Tamaddoni-Nezhad, Alireza
1 Tarau, Paul
1 Tassi, Enrico
1 Tekle, K. Tuncay
1 Tenorth, Moritz
1 Tojo, Satoshi
1 Vernitski, Alexei
1 Vidal, Germán
1 Wen, Jing
1 Wuille, Pieter
1 Zhou, Zhihua

Referencing Publications by Year