Gentoo Packages

Search

Install

Install this package:

emerge -a dev-scheme/chez-minikanren

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

autounmask dev-scheme/chez-minikanren

Or alternatively:

emerge --autounmask-write -a dev-scheme/chez-minikanren

Package Information

Description:: miniKanren is an embedded Domain Specific Language for logic programming. The core miniKanren language is very simple, with only three logical operators and one interface operator. miniKanren is designed to be easily modified and extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming, and tabling.
Homepage:: https://github.com/miniKanren/miniKanren
License:: MIT

Versions

Version	EAPI	Keywords	Slot
2018.04.11	8	~amd64	0

Metadata

Description

miniKanren is an embedded Domain Specific Language for logic programming. The core miniKanren language is very simple, with only three logical operators and one interface operator. miniKanren is designed to be easily modified and extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming, and tabling.

Maintainers

Gentoo Scheme Project (scheme@gentoo.org) - Type: project

Upstream

Bugs: https://github.com/miniKanren/miniKanren/issues
Remote IDs:
- github: miniKanren/miniKanren

Raw Metadata XML

<pkgmetadata>
	<maintainer type="project">
		<email>scheme@gentoo.org</email>
		<name>Gentoo Scheme Project</name>
	</maintainer>
	<longdescription>
    miniKanren is an embedded Domain Specific Language for logic programming.
    The core miniKanren language is very simple, with only three logical
    operators and one interface operator.
    miniKanren is designed to be easily modified and extended; extensions
    include Constraint Logic Programming, probabilistic logic programming,
    nominal logic programming, and tabling.
  </longdescription>
	<upstream>
		<bugs-to>https://github.com/miniKanren/miniKanren/issues</bugs-to>
		<remote-id type="github">miniKanren/miniKanren</remote-id>
	</upstream>
</pkgmetadata>

Lint Warnings

[Warning] USE flag 'source' in ebuild 2018.04.11 is not documented in metadata.xml
[Error] Missing md5-cache for ebuild chez-minikanren-2018.04.11

USE Flags

Manage flags for this package: euse -i <flag> -p dev-scheme/chez-minikanren | euse -E <flag> -p dev-scheme/chez-minikanren | euse -D <flag> -p dev-scheme/chez-minikanren

Flag	Description	2018.04.11
source	Zip the sources and install them	✓

Manifest

Type	File	Size	Versions
DIST	chez-minikanren-2018.04.11.tar.gz	14068 bytes	2018.04.11

Unmatched Entries

Type	File	Size

dev-scheme/chez-minikanren (gentoo)