<shachaf> le/rn cut elimination/The cut-elimination theorem states that any Prolog program written using the cut operator ! can be rewritten without using that operator.

#ifndef PARSE_H_
#define PARSE_H_

#include "IO.h"
#include "text.h"

#include <stdio.h>

void parse(IO *, struct text *, size_t *);

#endif /* PARSE_H_ */