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 Cited in: 57 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year On the implementation of GNU Prolog. Zbl 1244.68018Diaz, Daniel; Abreu, Salvador; Codognet, Philippe 2012 all top 5 Cited by 108 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 Girlando, Marianna 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 Straßburger, Lutz 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 ...and 8 more Authors all top 5 Cited in 24 Serials 6 Theory and Practice of Logic Programming 3 New Generation Computing 3 Computational Economics 3 Constraints 2 Journal of Automated Reasoning 2 Cognitive Technologies 1 International Journal of General Systems 1 Acta Cybernetica 1 Synthese 1 Science of Computer Programming 1 The Journal of Logic Programming 1 International Journal of Parallel Programming 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 Journal of Heuristics 1 Soft Computing 1 The Journal of Functional and Logic Programming 1 Logic and Logical Philosophy 1 ACM Transactions on Computational Logic 1 1 Lecture Notes in Computer Science 1 Applied Mathematical Sciences (Ruse) 1 Undergraduate Topics in Computer Science 1 Berichte aus der Mathematik all top 5 Cited in 10 Fields 50 Computer science (68-XX) 8 Mathematical logic and foundations (03-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 Statistics (62-XX) 1 Combinatorics (05-XX) 1 Numerical analysis (65-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year