src/HOL/Tools/Predicate_Compile/code_prolog.ML
2010-08-25 bulwahn 2010-08-25 invocation of values for prolog execution does not require invocation of code_pred anymore
2010-08-25 bulwahn 2010-08-25 improving output of set comprehensions; adding style_check flags
2010-08-25 bulwahn 2010-08-25 improving ensure_groundness in prolog generation; added further example
2010-08-25 bulwahn 2010-08-25 adding very basic transformation to ensure groundness before negations
2010-08-19 haftmann 2010-08-19 tuned quotes
2010-08-19 haftmann 2010-08-19 use antiquotations for remaining unqualified constants in HOL
2010-08-18 haftmann 2010-08-18 removed Code_Prolog: modifies global environment setup non-conservatively
2010-08-01 bulwahn 2010-08-01 adding parsing of numbers; improving output of solution without free variables in prolog code generation
2010-08-01 bulwahn 2010-08-01 adding preprocessing of introduction rules to replace the constant Predicate.eq in the prolog code generation
2010-08-01 bulwahn 2010-08-01 adding basic arithmetic support for prolog code generation
2010-08-01 bulwahn 2010-08-01 adding numbers as basic term in prolog code generation
2010-07-29 bulwahn 2010-07-29 adapting output for first solution
2010-07-29 bulwahn 2010-07-29 removing pointless type information in internal prolog terms
2010-07-29 bulwahn 2010-07-29 cleaning example file; more natural ordering of variable names
2010-07-29 bulwahn 2010-07-29 improving translation to prolog; restoring terms from prolog output; adding tracing support
2010-07-29 bulwahn 2010-07-29 working on parser for prolog reponse
2010-07-29 bulwahn 2010-07-29 querying for multiple solutions in values command for prolog execution
2010-07-29 bulwahn 2010-07-29 correcting scanning
2010-07-29 bulwahn 2010-07-29 adding values command and parsing prolog output
2010-07-29 bulwahn 2010-07-29 adding a mockup version for prolog code generation