Gentoo Packages

Search

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

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

<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] Ebuild 2018.04.11 uses IUSE flag 'source' which is not documented in metadata.xml. Add the flag to metadata.xml <use> section.
• [Warning] Missing md5-cache for version 2018.04.11. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

USE Flags

Manifest