Another direction to explore logic languages is Datalog.
I think damalig falls cleanly into the prolog family.
I think damalig falls cleanly into the prolog family.