From 93a93e9a3b53c1a73142a305ea1f8136846942ee Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Wed, 22 Dec 2021 14:08:05 +0000 Subject: gentoo resync : 22.12.2021 --- dev-scheme/chez-minikanren/metadata.xml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 dev-scheme/chez-minikanren/metadata.xml (limited to 'dev-scheme/chez-minikanren/metadata.xml') diff --git a/dev-scheme/chez-minikanren/metadata.xml b/dev-scheme/chez-minikanren/metadata.xml new file mode 100644 index 000000000000..eafae6b7cb51 --- /dev/null +++ b/dev-scheme/chez-minikanren/metadata.xml @@ -0,0 +1,21 @@ + + + + + + scheme@gentoo.org + Gentoo Scheme Project + + + 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. + + + https://github.com/miniKanren/miniKanren/issues + miniKanren/miniKanren + + -- cgit v1.2.3