I don't get half the terms here but still
https://old.reddit.com/r/prolog/comments/1r77hx2/implementing_tensor_logic_unifying_datalog_and/
I don't get half the terms here but still
https://old.reddit.com/r/prolog/comments/1r77hx2/implementing_tensor_logic_unifying_datalog_and/