devel/py-miniKanren: New port: Logic/relational programming in Python

devel/Makefile

@@ -4950,6 +4950,7 @@
     SUBDIR += py-microversion-parse
     SUBDIR += py-milc
     SUBDIR += py-mime
+    SUBDIR += py-miniKanren
     SUBDIR += py-minidump
     SUBDIR += py-minimongo
     SUBDIR += py-minio

devel/py-miniKanren/Makefile

@@ -0,0 +1,32 @@
+PORTNAME=	miniKanren
+DISTVERSIONPREFIX=	v
+DISTVERSION=	1.0.3
+#MASTER_SITES=	PYPI # no tests
+CATEGORIES=	devel python
+PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Logic/relational programming in Python
+WWW=		https://github.com/pythological/kanren
+
+LICENSE=	BSD3CLAUSE
+LICENSE_FILE=	${WRKSRC}/LICENSE.txt
+
+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}cons>=0.4.0:devel/py-cons@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}etuples>=0.3.1:devel/py-etuples@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}logical-unification>=0.4.1:math/py-logical-unification@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}multipledispatch>0:devel/py-multipledispatch@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}toolz>0:devel/py-toolz@${PY_FLAVOR} \
+		${PYTHON_PKGNAMEPREFIX}typing-extensions>0:devel/py-typing-extensions@${PY_FLAVOR}
+TEST_DEPENDS=	${PYTHON_PKGNAMEPREFIX}sympy>0:math/py-sympy@${PY_FLAVOR}
+
+USES=		python:3.7+
+USE_PYTHON=	distutils autoplist pytest # tests fail due to etuples problems
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	pythological
+GH_PROJECT=	kanren
+
+NO_ARCH=	yes
+
+.include <bsd.port.mk>

devel/py-miniKanren/distinfo

@@ -0,0 +1,3 @@
+TIMESTAMP = 1687312051
+SHA256 (pythological-kanren-v1.0.3_GH0.tar.gz) = 0cc6d507e6e45f48db73fc1fd47718aaefb82d419ddd7654f806261ab135f0ad
+SIZE (pythological-kanren-v1.0.3_GH0.tar.gz) = 72998

devel/py-miniKanren/pkg-descr

@@ -0,0 +1,2 @@
+miniKanren is an extensible, lightweight relational/logic programming DSL
+written in pure Python.