| Name : gprolog
| |
| Version : 1.5.0
| Vendor : obs://build_opensuse_org/devel:languages:misc
|
| Release : lp155.2.1
| Date : 2023-06-18 11:21:32
|
| Group : Development/Languages/Other
| Source RPM : gprolog-1.5.0-lp155.2.1.src.rpm
|
| Size : 3.20 MB
| |
| Packager : https://www_suse_com/
| |
| Summary : GNU Prolog compiler
|
Description :
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.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/misc/openSUSE_Leap_15.5/x86_64 |
