src/HOL/Tools/Predicate_Compile/code_prolog.ML
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