diff --git a/devel/Makefile b/devel/Makefile
index 41bf530baf9363eefcdde6ad02c679a65671374d..9d35cae07da4195a94c3268f32db5832566d6240 100644
--- a/devel/Makefile
+++ b/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
diff --git a/devel/py-miniKanren/Makefile b/devel/py-miniKanren/Makefile
new file mode 100644
index 0000000000000000000000000000000000000000..5a0ded4208409fe92b1dc0a7f291659e91e68452
--- /dev/null
+++ b/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>
diff --git a/devel/py-miniKanren/distinfo b/devel/py-miniKanren/distinfo
new file mode 100644
index 0000000000000000000000000000000000000000..0d65158bb7ac5f9e49ab3955a0cbaa37bb05ce95
--- /dev/null
+++ b/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
diff --git a/devel/py-miniKanren/pkg-descr b/devel/py-miniKanren/pkg-descr
new file mode 100644
index 0000000000000000000000000000000000000000..cd22fc324a6fc734e75750db86979f264970360e
--- /dev/null
+++ b/devel/py-miniKanren/pkg-descr
@@ -0,0 +1,2 @@
+miniKanren is an extensible, lightweight relational/logic programming DSL
+written in pure Python.