Commit | Line | Data |
---|---|---|
9c63fe6c NK |
1 | ;;; GNU Guix --- Functional package management for GNU |
2 | ;;; Copyright © 2013 Nikita Karetnikov <nikita@karetnikov.org> | |
3 | ;;; | |
4 | ;;; This file is part of GNU Guix. | |
5 | ;;; | |
6 | ;;; GNU Guix is free software; you can redistribute it and/or modify it | |
7 | ;;; under the terms of the GNU General Public License as published by | |
8 | ;;; the Free Software Foundation; either version 3 of the License, or (at | |
9 | ;;; your option) any later version. | |
10 | ;;; | |
11 | ;;; GNU Guix is distributed in the hope that it will be useful, but | |
12 | ;;; WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | ;;; GNU General Public License for more details. | |
15 | ;;; | |
16 | ;;; You should have received a copy of the GNU General Public License | |
17 | ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. | |
18 | ||
19 | (define-module (gnu packages gprolog) | |
20 | #:use-module (guix licenses) | |
21 | #:use-module (guix packages) | |
22 | #:use-module (guix download) | |
23 | #:use-module (guix build-system gnu)) | |
24 | ||
25 | (define-public gprolog | |
26 | (package | |
27 | (name "gprolog") | |
28 | (version "1.4.2") | |
29 | (source | |
30 | (origin | |
31 | (method url-fetch) | |
32 | (uri (string-append "http://www.gprolog.org/gprolog-" | |
33 | version ".tar.gz")) | |
34 | (sha256 | |
35 | (base32 | |
36 | "0y25c2gwz41i6g28qyfjklrmanzgk0c8cr4jn2s7s8qgd9dnm1fm")))) | |
37 | (build-system gnu-build-system) | |
38 | (arguments | |
39 | `(#:phases (alist-cons-before | |
40 | 'configure 'change-dir-n-fix-shells | |
41 | (lambda _ | |
42 | (chdir "src") | |
43 | (substitute* "configure" | |
44 | (("-/bin/sh") (string-append "-" (which "sh"))) | |
45 | (("= /bin/sh") (string-append "= " (which "sh"))))) | |
46 | %standard-phases))) | |
47 | (home-page "https://www.gnu.org/software/gprolog/") | |
f50d2669 | 48 | (synopsis "Prolog compiler") |
9c63fe6c NK |
49 | (description |
50 | "GNU Prolog is a free Prolog compiler with constraint solving over | |
51 | finite domains developed by Daniel Diaz. | |
52 | ||
53 | GNU Prolog accepts Prolog+constraint programs and produces native | |
54 | binaries (like gcc does from a C source). The obtained executable is | |
55 | then stand-alone. The size of this executable can be quite small since | |
56 | GNU Prolog can avoid to link the code of most unused built-in | |
57 | predicates. The performances of GNU Prolog are very | |
58 | encouraging (comparable to commercial systems). | |
59 | ||
60 | Beside the native-code compilation, GNU Prolog offers a classical | |
61 | interactive interpreter (top-level) with a debugger. | |
62 | ||
63 | The Prolog part conforms to the ISO standard for Prolog with many | |
64 | extensions very useful in practice (e.g., global variables, OS | |
65 | interface, sockets). | |
66 | ||
67 | GNU Prolog also includes an efficient constraint solver over finite domains. | |
68 | This opens contraint logic programming to the user combining the power of | |
69 | constraint programming to the declarativity of logic programming.") | |
f50d2669 | 70 | (license (list gpl2+ lgpl3+)))) |