Gentoo Packages

dev-haskell/nanoprolog (haskell)

Search

Install

Install this package:

emerge -a dev-haskell/nanoprolog

If the package is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask dev-haskell/nanoprolog

Or alternatively:

emerge --autounmask-write -a dev-haskell/nanoprolog

Package Information

Description:
This package was developed to demonstrate the ideas behind the Prolog language. It contains a very small interpreter (@Language.Prolog.Nanoprolog@) which can be run on its own. It reads a file with definitions, and then prompts for a goal. All possibe solutions are printed, preceded by a tree showing which rules were applied in which order. The file @royals.pro@ contains a description of part of the Dutch royal family, whereas the file @tc.pro@ shows unification at work in a very small type inferencer.
Homepage:
https://hackage.haskell.org/package/NanoProlog
License:
BSD

Versions

Version EAPI Keywords Slot
0.3-r2 8 ~amd64 0/0.3-r2

Metadata

Description

Maintainers

Raw Metadata XML 
<pkgmetadata>
	<maintainer type="project">
		<email>haskell@gentoo.org</email>
		<name>Gentoo Haskell</name>
	</maintainer>
	<longdescription>
		This package was developed to demonstrate the ideas behind
		the Prolog language. It contains a very small interpreter
		(@Language.Prolog.Nanoprolog@) which can be run on its
		own. It reads a file with definitions, and then prompts
		for a goal. All possibe solutions are printed, preceded by
		a tree showing which rules were applied in which order.
		
		The file @royals.pro@ contains a description of part of the Dutch royal family, whereas the file
		@tc.pro@ shows unification at work in a very small type inferencer.
	</longdescription>
</pkgmetadata>

Lint Warnings

Manifest

Type File Size Versions
Unmatched Entries
Type File Size
DIST NanoProlog-0.3.tar.gz 5777 bytes