GNU Prolog compiler
http://www.gprolog.org/
GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD) developed at INRIA by Daniel Diaz. GNU Prolog is based on two systems developed by the same author (with lot of code rewriting and a lot of new extensions): wamcc and clp(FD). Much work has been devoted to make it ISO compatible, full compliance being one of its goals.
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout devel:languages:misc/gprolog && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| gprolog-1.5.0-use-source_date_epoch.patch | 0000001276 1.25 KB | |
| gprolog-1.5.0.tar.gz | 0003813899 3.64 MB | |
| gprolog.changes | 0000004387 4.28 KB | |
| gprolog.spec | 0000003844 3.75 KB |
Revision 9 (latest revision is 10)
Antoine Belvire (1Antoine1)
accepted
request 916919
from
Antoine Belvire (1Antoine1)
(revision 9)
- Update to version 1.5.0:
* Port to arm64 (aarch64)/Linux (armv8).
* Port to arm32/Linux (armv6, armv7).
* Accept clang as C compiler on x86_64/linux.
* Restructure and improve the code of all MA-ASM mappers.
* Fix a bug in absolute_file_name, '/src/../' returned '' now
'/'.
* Add error case to findall/4 (detects when Tail is not a list).
* Set eof_action to reset for standard input/output/error streams
Even if not a tty.
* Add float_overflow and undefined for float arithmetic
Functions.
* Fix a bug when closing user_error.
* Fix a bug in phrase/2-3.
* Fix problem with gcc 10 which needs explicitly -fcommon.
* Fix bugs when Prolog integers are internally converted to C int
(on 64 bits machine).
- Enable build on newly supported ARM architectures.
- Remove -fcommon from cflags.
- Remove gprolog-1.4.5-remove-compilation-date.patch.
- Add gprolog-1.5.0-use-source_date_epoch.patch.
Comments 0