Hi,
this is great to read! Will this language Polar have some kind of Prolog in it or is it a different flavor of logic programming?
Cheers
Hans
it’s a Prolog. We’re currently in a discussion of what we want the properties to be, and consider restricting it so technically it becomes a datalog.