make sure that "undo_ascii_of" is the inverse of "ascii_of", also for non-printable characters -- and avoid those in ``-style facts

better workaround for E's off-by-one-second issue

merged

renaming variables to conform to prolog names

changing hotel trace definition; adding simple handling of numerals on natural numbers

added quickcheck generator for prolog generation; first example of counterexample search with prolog for hotel key card system

moving preprocessing to values in prolog generation

invocation of values for prolog execution does not require invocation of code_pred anymore

adding hotel keycard example for prolog generation

improving output of set comprehensions; adding style_check flags

improving ensure_groundness in prolog generation; added further example

adding very basic transformation to ensure groundness before negations

Markup_Tree.select: uniform treatment of root_range wrt. singularities, yielding empty result stream;

tuned signature;

Pretty: tuned markup objects;

tuned;