Paper showing how you can convert a logic program into a graph, translate it to three different varieties of ASP, and get your choice of stable model, well-founded, or co-stable answers, all with justifications built-in for free, on an open source ASP reasoner. So you can write logic code by drawing a graph. Not sure if it works for prepositional programs, though.

@jason i know what makes something a graph. Roughly the idea of nodes connecting to edges with no restrictions (unlike trees). maybe its correct to say its about the lack of structure on reads to allow for arbitrary writes. But what makes something a logic program? can it be though of as nodes and edges to, if we can transform is it more restricted in some way then a graph to allow for some additional benefit? Ill try to look at the paper.

A normal logic program, I think, is a series of rules. Conclusions with a set of positive requirements and a set of negative requirements stated as predicates. When turned into a graph, the statements are the nodes and positive and negative requirements become the edges. Statements without requirements are facts.