[johnisgood]

Looks like Prolog.

I wonder what the major differences are.

[adastra22]

I guess it's like Prolog in the same sense that Rust is like C? It's a modern functional programing language that also supports logical programming. I never got a chance to actually code with it though.