fix acyclicity, reduce number of number rules
Merge branch 'master' of https://github.com/edechter/GrammarInduction into prism

Conflicts:
	src/GIJoe/SRS/BuildNumber.hs
initial attempt at next sentences
compiling, but not learning, for next sentences
Merge branch 'master' of https://github.com/edechter/GrammarInduction into prism

Conflicts:
	src/GIJoe/SRS/BuildNumber.hs
	src/GIJoe/SRS/Prismify.hs
translation and related work in draft, prismify and grammar updates
Merge branch 'master' of https://github.com/edechter/GrammarInduction into prism

Conflicts:
	src/GIJoe/SRS/BuildNumber.hs
add vis.pl and main.pl
add lpn figure to drafts
Merge branch 'master' of https://github.com/edechter/GrammarInduction into prism

Conflicts:
	src/GIJoe/SRS/BuildNumber.hs
Recreated beforeAndAfter system; changed examples a little; moved vis.pl and main.pl to experiments/prolog/.