BSD Portslang/gprolog 1.4.5 NetBSD
GNU prolog compiler and interpreter
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- gnu-lgpl-v3 OR gnu-gpl-v2
- Categories
- lang
- Package size
- 2862.0 KiB, 12247.6 KiB installed
Description
GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz. A lot of work has been devoted to the ISO compatibility. GNU Prolog is very close to the ISO standard (http://www.logic-programming.org/prolog_std.html).
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | lang/gprolog | 1.4.5 |
| FreeBSD | lang/gprolog | 1.5.0 |
| OpenBSD | lang/gprolog | 1.5.0p0 |
Install
Binary package:
pkgin install gprologFrom pkgsrc:
cd /usr/pkgsrc/lang/gprolog && make install cleanDependencies
No port depends on this one.