@alcinnz @alilly I'd be interested to see your take on Prolog. There have been several hardware implementations of it, over the years, but I suspect you'll come up with something new.
I'd also appreciate your take on miniKanren, the other language family in https://aphyr.com/posts/354-unifying-the-technical-interview.