| Fri, 27 Aug 2010 09:34:06 +0200 |
bulwahn |
added support for yet another prolog system (yap); generate has only one option ensure_groundness; added one example of yap invocation in example theory
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 14:48:48 +0200 |
bulwahn |
adapted examples; tuned
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:55 +0200 |
bulwahn |
renaming variables to conform to prolog names
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:50 +0200 |
bulwahn |
invocation of values for prolog execution does not require invocation of code_pred anymore
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:48 +0200 |
bulwahn |
improving ensure_groundness in prolog generation; added further example
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 16:59:46 +0200 |
bulwahn |
adding very basic transformation to ensure groundness before negations
|
file |
diff |
annotate
|
| Sun, 01 Aug 2010 10:15:43 +0200 |
bulwahn |
setting up Code_Prolog_Examples
|
file |
diff |
annotate
|
| Sun, 01 Aug 2010 10:15:43 +0200 |
bulwahn |
adding queens and symbolic derivation example for prolog code generation
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 17:27:58 +0200 |
bulwahn |
cleaning example file; more natural ordering of variable names
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 17:27:55 +0200 |
bulwahn |
adding values command and parsing prolog output
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 17:27:54 +0200 |
bulwahn |
adding example file for prolog code generation; adding prolog code generation example to IsaMakefile
|
file |
diff |
annotate
|