package prolog;

import java.io.*;

public class Options
{
	public boolean traceSymbols = false;
	public boolean traceFacts = false;
	public boolean traceConstraints = false;
	public boolean traceQuery = false;
	public File input = null;
	public String xmlParseOutFile = "C:\\parse.xml";

	public Options()
	{
	}
}