batman.prolog
graph.prolog
lists.prolog