iensen/LtoASPtranslator
This is a translator from the language L to Answer Set Prolog (ASP)
My configuration for emacs editor
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
This is a translator from the language L to Answer Set Prolog (ASP)
This is a parser for LED (https://github.com/qianji/LEDParser) that takes a LED program and returns an abstract syntax tree.
The project is an implementation of a generic parser that takes a lexicon file, a grammar file and an input file and produces a concise abstract syntax tree. The desired structure of the tree is defined by the grammar file.
A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)