I would have said Prolog, it has more history in AI among other things. Forth is like assembly if you have no registers and just a stack. It's still quite low

I would have said Prolog, it has more history in AI among other things. Forth is like assembly if you have no registers and just a stack. It's still quite low level. If you want mind bendy that you can still reasonably do things with check out Prolog.