aarne vid chalmers punkt se

13/4/2011 - 19/4

Experimental program for translating between language and logic.

Prerequisites: GF darcs version; do

   darcs get --lazy http://www.grammaticalframework.org/ GF
   cd GF
   cabal install

To compile

  make

To test

  echo "for all numbers x , x is even or x is odd" | ./Trans

Source files

  -- language-neutral
  Prop.gf        -- abstract syntax
  TransProp.hs   -- conversions
  Trans.hs       -- top loop
  Makefile

  -- concrete syntax
  PropI.gf       -- concrete syntax, functor with RGL
  PropEng.gf     -- concrete syntax, English with RGL functor
  PropFin.gf     -- concrete syntax, Finnish with RGL functor
  PropFre.gf     -- concrete syntax, French  with RGL functor
  PropGer.gf     -- concrete syntax, German  with RGL functor
  PropSwe.gf     -- concrete syntax, Swedish with RGL functor
  PropLatex.gf   -- concrete syntax, symbolic logic in LaTeX

  -- not in use
  PropENF.gf     -- concrete syntax, English with RGL ordinary module
  PropStr.gf     -- concrete syntax, pidgin English

Generated files

  Prop.hs        -- abstract syntax in Haskell

TODO

  - web demo
  - integration with MOLTO math library
  - bullet-based conjunctions