×

Prolog

swMATH ID: 6518
Software Authors: Daniel Diaz
Description: GNU Prolog is a free Prolog compiler with constraint solving over 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 Finite Domains (FD). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.
Homepage: http://www.gprolog.org/
Keywords: Prolog; logic programming system; GNU; ISO; WAM; native code compilation; finite-domain constraints; compiler; debugger
Related Software: SICStus; CHIP; Twelf; SWI-Prolog; XSB; wamcc; Abella; B-Prolog; Ciao; YAP-Prolog; clpfd; PERL; CSPLib; Oz; Choco; Nuprl; Grammar Matrix; LISP; Smalltalk; CS-Prolog
Referenced in: 56 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
On the implementation of GNU Prolog. Zbl 1244.68018
Diaz, Daniel; Abreu, Salvador; Codognet, Philippe
2012
all top 5

Referenced by 106 Authors

3 Codognet, Philippe
3 Fernández, Antonio J.
2 Carro, Manuel
2 Cotta, Carlos C.
2 Diaz, Daniel
2 Ducassé, Mireille
2 Gervet, Carmen
2 Hermenegildo, Manuel V.
2 Morales, Jose Francisco
2 Nugues, Pierre M.
2 Szeredi, Péter
2 Triska, Markus
1 Abdallah, Samer A.
1 Abreu, Salvador
1 Arntzenius, Michael
1 Bardin, Sébastien
1 Beierle, Christoph
1 Bisière, Christophe
1 Börger, Egon
1 Bramer, Max
1 Cheng, Chi Kan
1 Cimini, Matteo
1 Cleary, John Gerald
1 Santos Costa, Vítor
1 Crysmann, Berthold
1 Damas, Luís
1 Danvy, Olivier
1 De Raedt, Luc
1 del Vado Vírseda, Rafael
1 Demoen, Bart
1 Denecker, Marc
1 Deransart, Pierre
1 Desouter, Benoit
1 Dotú, Iván
1 Dovier, Agostino
1 Fages, François
1 Felty, Amy P.
1 Fernández, Maribel
1 Formisano, Andrea
1 Frasconi, Paolo
1 Gabbay, Dov M.
1 Gold, Nicolas
1 Grobauer, Bernd
1 Gupta, Gopal K.
1 Haemmerlé, Rémy
1 Herrmann, Philippe
1 Hortalá-González, Teresa
1 Indo, Kenryo
1 Krishnaswami, Neelakantan R.
1 Kulicki, Piotr
1 Lang, Karl Reiner
1 Langevine, Ludovic
1 Lee, Jimmy Ho-man
1 Li, Xining
1 Liang, Chuck
1 Liu, Yongmei
1 Luger, George F.
1 Maier, Frederick
1 Marsden, Alan
1 Martinez, Thierry
1 Moore, James C.
1 Nabli, Faten
1 Nadathur, Gopalan
1 Nute, Donald E.
1 Ohsato, Nobuyasu
1 Okuno, Hiroshi G.
1 Olivetti, Nicola
1 Orsini, Francesco
1 Otsu, Tatsuo
1 Papadopoulos, Basil K.
1 Perroud, Florian
1 Pontelli, Enrico
1 Pozzato, Gian Luca
1 Puebla, Germán
1 Qi, Xiaochu
1 Reyle, Uwe
1 Rhiger, Morten
1 Rocha, Ricardo
1 Sadler, Andrew
1 Saeedloei, Neda
1 Sáenz-Pérez, Fernando
1 Schrijvers, Tom
1 Schulte, Christian
1 Schwind, Camilla B.
1 Sfiris, Dimitris S.
1 Snow, Zachary
1 Soliman, Sylvain
1 Somogyi, Zoltan
1 Stubblefield, William A.
1 Stuckey, Peter James
1 Takahara, Yasuhiko
1 Takeuchi, Ikuo
1 Tarau, Paul
1 Taylor, Hamish
1 Truchet, Charlotte
1 Trypuz, Robert
1 Unger, Brian W.
1 Van Hentenryck, Pascal
1 Vlaeminck, Hanne
1 Wang, Peter C. C.
...and 6 more Authors

Referencing Publications by Year