removed prologexample, as it was a duplicate of prolog/example
Merge branch 'master' of github.com:pepijnkokke/AutoInAgda