include("../asplang/ASPLang.jl")
include("PASPProc.jl")

using .ASPLang
using .PASPProc


root_path = "/home/fc/sci/projetos/zugzwang/code/asplang"
asp_file = "sbf.lp"
src = read("$(root_path)/$(asp_file)", String)

println(methods(tree_string))
# e = parse_asp(src, asp_grammar)
# println(isa(e, NonTerminal))
# t = tree_string(e)
# println(t)