search

SWI-Prolog / roadmap

Discuss future development
21 stars 3 forks source link

Probabilistic reasoning #53

Open XVilka opened 6 years ago

XVilka commented 6 years ago

Last years the concept of probabilistic programming is developing with a huge pace and a big future potential. Would be nice to have some ground and supporting libraries in SWI Prolog as well.

See the ProbLog as an example https://dtai.cs.kuleuven.be/problog/ and their tutorial for practical applications https://dtai.cs.kuleuven.be/problog/tutorial.html

JanWielemaker commented 6 years ago

True. I mostly consider this libraries though, where SWI-Prolog should provide additional primitives to improve speed/integration/etc. A good collection is already available here

maelh commented 5 years ago

I second this feature request. Especially ProbLog has a nice readable syntax. Having it integrated in SWI-Prolog would be great, especially for debuggability.

friguzzi commented 5 years ago

You can use ProbLog syntax in cplint http://cplint.eu It's a pack http://www.swi-prolog.org/pack/list?p=cplint See http://friguzzi.github.io/cplint/doc/help-cplint.html#problog-syntax

maelh commented 5 years ago

Thanks for the suggestion. Would it be possible to support a syntax similar to ProbLog (which I find more intuitive)?

Are there differences in power of expressiveness or how solutions are found?

friguzzi commented 5 years ago

You can use ProbLog syntax, see http://cplint.eu/p/path_problog.pl There is no difference in expressiveness. There are differences in how solutions are found, see the about section of the site for links to papers explaining the differences

Il giorno dom 14 apr 2019 alle ore 14:16 maelh notifications@github.com ha scritto:

Thanks for the suggestion. Would it be possible to support a syntax similar to ProbLog (which I find more intuitive)?

Are there differences in power of expressiveness or how solutions are found?

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/SWI-Prolog/roadmap/issues/53#issuecomment-482961771, or mute the thread https://github.com/notifications/unsubscribe-auth/AJMRBNJzLCFESJJeMhaBRoi1bAUUDi1xks5vgxwXgaJpZM4R1FAj .