News for hackers. Stuff that matters.

A comment on Limbo – A Reasoning System for First-Order Limited Belief. Parent comment

Re:Limbo – A Reasoning System for First-Order Limited Belief by zokier on Sunday May 07, 2017 @05:14AM (#14284571)
That seems neat. I'll have to try and see if I can model my problem with that.
[ Parent | on HN ]
Re:Limbo – A Reasoning System for First-Order Limited Belief by zmonx on Sunday May 07, 2017 @05:27AM (#14284610)
See also cplint and the included example programs, using both regular Prolog and probabilistic extensions:

http://cplint.lamping.unife.it/example/examples.swinb http://cplint.lamping.unife.it/example/inference/inference_e...

The github repository of cplint is:

https://github.com/friguzzi/cplint

[ Parent | on HN ]