A modern programming language that makes developers happier.

kotlinlang

Does anyone know a kotlin framework for logical programming?

I released a kotlin implementation of <http://jsonlogic.com>
at <https://github.com/advantagefse/json-logic-kotlin>
I’m not sure if you are looking for something like this

I think it doesn't  fit my use case. I'm trying to build a programming language (non-compiled and not exactly interpreted) and I thought about representing the type hierarchy using a prolog-like syntax. I'm doing it as a side project, so I thought about experiencing logical programming in order to learn more. The language isn't meant to be used as a real programming language, of course.

Might I suggest Racket for such a venture?

It’s whole shtick is creating languages