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

Branches Tags

Name	Name	Last commit message	Last commit date
Latest commit History 334 Commits 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