val program : string list -> Ast.program

program file_list parses a list of files

val program_from_stream : char Stream.t -> Ast.program
val goal : string -> Ast.query

goal file_list parses the query

val goal_from_stream : char Stream.t -> Ast.query