gprolog-1.4.5.tgz


Advertisement

Description

gprolog - GNU prolog compiler and interpreter

Property Value
Distribution NetBSD 7.0
Repository NetBSD i386
Package filename gprolog-1.4.5.tgz
Package name gprolog
Package version 1.4.5
Package release -
Package architecture i386
Package type tgz
Category lang
Homepage http://www.gprolog.org/
License gnu-lgpl-v3 OR gnu-gpl-v2
Maintainer -
Download size 2.79 MB
Installed size 10.95 MB
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).

Alternatives

Package Version Architecture Repository
gprolog-1.4.5.tgz 1.4.5 amd64 NetBSD
gprolog - - -

Download

Type URL
Mirror ftp.netbsd.org
Binary Package gprolog-1.4.5.tgz
Source Package gprolog

Install Howto

Install gprolog tgz package:

# pkg_add gprolog

See Also

Package Description
gpshell-1.4.4nb1.tgz Shell to manage the contents of GlobalPlatform smart cards
gpsim-0.26.1nb11.tgz PIC emulator with X interface
gpsim-20050905nb34.tgz PIC emulator with X interface
gpsim-oscilloscope-0.1.2nb31.tgz Oscilloscope module for gpsim
gpsim-ptyusart-0.3.2nb31.tgz Pseudo-tty module for gpsim
gpspoint-2.030521nb1.tgz Program to download and upload waypoints to and from your GPS device
gpsutils-0.4.0.tgz Capture and convert data from a Garmin GPS receiver
gputils-1.5.0.tgz Collection of tools for Microchip's PIC micro-processors
gpxsee-6.3nb3.tgz GPS log file viewer and analyzer
gq-1.2.3nb44.tgz GTK-based LDAP client
gqmpeg-0.91.1nb35.tgz GTK+ front end to mpg123
gqmpeg-skins-20030712nb6.tgz Skins for gqmpeg
gqview-2.0.4nb29.tgz GTK2-based graphic file viewer
gqview-2.1.5nb30.tgz GTK2-based graphic file viewer (development version)
gr-osmosdr-0.1.4nb13.tgz SDR Hardware support for OsmoSDR and so many more
Advertisement
Advertisement