avalog 0.7.2

An experimental implementation of Avatar Logic with a Prolog-like syntax
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
=== GraphViz Export ===
Avalog supports exporting to the GraphViz format for visualization.

  graph               expands all facts and exports data
  graphf "<file>"     sets output file
  no graphf           uses ".dot" after last imported file,
                      or "tmp.dot" if there is no imported file
  graphl "<layout>"   sets layout GraphViz algorithm

List of layout algorithm:

  dot         hierarchial directed graphs
  neato       spring model using energy
  fdp         spring model using forces
  sfdp        multiscale fdp
  twopi       concentric circles
  circo       circo