https://github.com/markomanninen/plcparser

Propositional Logic Clause Parser (Python, PHP, Javascript, Hy)
https://github.com/markomanninen/plcparser

bootstrap heroku hylang javascript logic-programming notebook parser php python travis-ci unittest

Last synced: 2 months ago
JSON representation

Propositional Logic Clause Parser (Python, PHP, Javascript, Hy)

• Host: GitHub
• URL: https://github.com/markomanninen/plcparser
• Owner: markomanninen
• License: mit
• Created: 2017-01-22T12:35:32.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2017-02-26T19:46:48.000Z (over 9 years ago)
• Last Synced: 2025-08-22T11:50:52.355Z (10 months ago)
• Topics: bootstrap, heroku, hylang, javascript, logic-programming, notebook, parser, php, python, travis-ci, unittest
• Language: Python
• Homepage: http://plcparser.herokuapp.com/
• Size: 174 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# PLCParser

Propositional Logic Clause Parser (Python, PHP, Javascript, Hy)

[![Build Status](https://travis-ci.org/markomanninen/PLCParser.svg?branch=master)](https://travis-ci.org/markomanninen/PLCParser)

NOTE: Project is in draft mode. Any functionality can change at any time!


See [Jupyter notebook](http://nbviewer.jupyter.org/github/markomanninen/PLCParser/blob/master/Propositional%20Logic%20Clause%20Parser%20%28PLCParser%29.ipynb) at your convenience.

## New

PLCParser implemented in Hy -language:

- [Python kernel notebook](http://nbviewer.jupyter.org/github/markomanninen/PLCParser/blob/master/Hy%20-level%20PLCParser.ipynb)

- [Calysto Hy kernel notebook](http://nbviewer.jupyter.org/github/markomanninen/PLCParser/blob/master/PLCParser%20in%20Hy.ipynb)

Test demo site (PHP and Javascript) at Heroku: [http://plcparser.herokuapp.com/](http://plcparser.herokuapp.com/)