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 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 ]

There are no comments on this comment yet.