A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
Primary LanguageC++GNU General Public License v3.0GPL-3.0