Does anyone know if there is a way to generate a nice graph from Horn clauses? for example:
Ideally, I would like to generate AND-OR graphs like this directly from Horn clauses written in Latex; however, if you know another way such as from rules written in RDF, I will also appreciate it.
Also, generated graphs do not have to be exactly like this one I show. It just have to illustrate the inference relation between my data.