about to create a new branch. ignore this commit.
Merge branch 'master' of https://github.com/sneilan/prolog

Conflicts:
	target/classes/prolog/core$add_builtin.class
	target/classes/prolog/core$add_clause.class
	target/classes/prolog/core$clear_db.class
	target/classes/prolog/core$get_next_sym.class
	target/classes/prolog/core$in_QMARK_.class
	target/classes/prolog/core$prolog_print.class
	target/classes/prolog/core$prove.class
	target/classes/prolog/core$rename_variables.class