GitHub - bringert/mosg: Montague semantics for a subset of the abstract syntax of the Grammatical Framework resource grammars

bringert / mosg Public

Notifications You must be signed in to change notification settings
Fork 1
Star 6

Montague semantics for a subset of the abstract syntax of the Grammatical Framework resource grammars

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 334 Commits
doc		doc
fracas		fracas
grammar		grammar
gwt		gwt
report		report
FOL.hs		FOL.hs
FastCGIUtils.hs		FastCGIUtils.hs
FraCaS.hs		FraCaS.hs
FraCaSProblemsDtd.hs		FraCaSProblemsDtd.hs
Input.lhs		Input.lhs
Input_XHtml.hs		Input_XHtml.hs
Inter.lhs		Inter.lhs
InterDeep.hs		InterDeep.hs
InterExample.tex.lhs		InterExample.tex.lhs
InterGeneral.tex.lhs		InterGeneral.tex.lhs
InterShallow.hs		InterShallow.hs
InterSimple.lhs		InterSimple.lhs
Keller.hs		Keller.hs
MISSING		MISSING
Main.hs		Main.hs
MainCGI.hs		MainCGI.hs
MainFastCGI.hs		MainFastCGI.hs
MainFraCaS.hs		MainFraCaS.hs
Makefile		Makefile
Mosg.hs		Mosg.hs
MosgCGI.hs		MosgCGI.hs
Otter.hs		Otter.hs
Problem.hs		Problem.hs
README		README
Reason.hs		Reason.hs
ReasonFolkung.hs		ReasonFolkung.hs
ReasoningService.hs		ReasoningService.hs
ResultXHtml.hs		ResultXHtml.hs
Sem.tex.lhs		Sem.tex.lhs
SemanticsService.hs		SemanticsService.hs
lighttpd.conf		lighttpd.conf
mosg.cabal		mosg.cabal
style.css		style.css
syllogisms.xml		syllogisms.xml
syllogisms2fracas.hs		syllogisms2fracas.hs
test.hs		test.hs
ui.js		ui.js

Repository files navigation

== Requirements ==

- Non-Hackage Haskell packages:
  - gf
  - gf-server
  - folkung

- Hackage packages
  - cgi
  - fastcgi
  - json
  - utf8-string

- Lighttpd
  (MacPorts)   $ sudo port install lighttpd
  (Ubuntu)      $ sudo apt-get install lighttpd

- Google Web Toolkit
    Set $GWT_CLASSPATH to point to the GWT JAR files. For example:
    $ export GWT_DIR="/Users/bringert/src/gwt-mac-1.5.2"
    $ export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar"

== Compile ==

- Grammar:
  $ make Syntax.pgf

- PGF service (copied from $HOME/.cabal/bin/pgf.fcgi):
  $ make pgf.fcgi

- Semantics service
  $ make semantics.fcgi

- Reasoning service
  $ make reasoning.fcgi

- GWT UI:
  $ make gwt


== Run ==

- Start lighttpd:
  $ make run

- In web browser, visit http://localhost:1970/

- Or, to use GWT Development Shell:
  $ make hosted