Sun, 01 Aug 2010 10:15:43 +0200 | bulwahn | adding preprocessing of introduction rules to replace the constant Predicate.eq in the prolog code generation | changeset | files |
Sun, 01 Aug 2010 10:15:43 +0200 | bulwahn | adding basic arithmetic support for prolog code generation | changeset | files |
Sun, 01 Aug 2010 10:15:43 +0200 | bulwahn | adding numbers as basic term in prolog code generation | changeset | files |