Zelph is a logic programming system, but not in the traditional sense (acrion.github.io)