Andrea Jegher
- Based on the book by P. Jackson, “Logic-based knowledge representation,” MIT Press, 1985
- Thanks to KaTeX for a JavaScript library for TeX math rendering on the web.
- Install golang
cd $GOPATH/src
mkdir github.com
cd github.com
git clone https://github.com/AndreaJegher/gomoltp.git
- Install the local command
cd gomoltp/cmd/moltprunner
go install
- Install the http server
cd gomoltp/cmd/moltpserver
go install
- Local command
$GPATH/bin/moltprunner -f '\Box \Box p \to \Diamond \Diamond p'
- Http Server
./moltpserver -static $GPATH/src/github.com/gomoltp/cmd/moltpserver/static -templates $GPATH/src/github.com/gomoltp/cmd/moltpserver/templates -v
- Then visit http://localhost:4000 from your browser