msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
3,046 Commits 21 Branches 11 Tags
3049b59b35b25381a7c6787444165c200d66e08b
Commit Graph

5 Commits

Author SHA1 Message Date
krasimir
41b263cf6a some work on evaluation with abstract expressions in PGF 2009-05-22 18:54:51 +00:00
krasimir
7db4b641ce refactor the PGF.Expr type and the evaluation of abstract expressions 2009-05-20 21:03:56 +00:00
peb
7babe205e8 Fix in Prolog output of the atom "'" 2008-11-17 13:33:53 +00:00
peb
b5ae83f899 Changes to the prolog output format 2008-09-25 07:32:39 +00:00
peb
74826158cb new PGF output format: prolog syntax 
* output a PGF grammar in prolog readable syntax
* variables in abstract syntax (hypotheses and lambda-abstractions) 
  are translated to unique logical variables
* PGF terms in concrete syntax are translated to more prolog-like terms
 2008-09-03 09:04:09 +00:00