First version of the parser, still we need to check how to handle the prolog facts and inferences