Tootfinder

Patrick Stewart does the TNG prolog with a French Accent - Omega Trek
https://www.youtube.com/watch?v=7NZK-F887iE

Impact and Performance of Randomized Test-Generation using Prolog
Marcus Gelderie, Maximilian Luff, Maximilian Peltzer
https://arxiv.org/abs/2507.13178 htt…

Impact and Performance of Randomized Test-Generation using Prolog
We study randomized generation of sequences of test-inputs to a system using Prolog. Prolog is a natural fit to generate test-sequences that have complex logical inter-dependent structure. To counter the problems posed by a large (or infinite) set of possible tests, randomization is a natural choice. We study the impact that randomization in conjunction with SLD resolution have on the test performance. To this end, this paper proposes two strategies to add randomization to a test-generating pro…

Integrating Belief Domains into Probabilistic Logic Programs
Damiano Azzolini, Fabrizio Riguzzi, Theresa Swift
https://arxiv.org/abs/2507.17291 https://arx…

Integrating Belief Domains into Probabilistic Logic Programs
Probabilistic Logic Programming (PLP) under the Distribution Semantics is a leading approach to practical reasoning under uncertainty. An advantage of the Distribution Semantics is its suitability for implementation as a Prolog or Python library, available through two well-maintained implementations, namely ProbLog and cplint/PITA. However, current formulations of the Distribution Semantics use point-probabilities, making it difficult to express epistemic uncertainty, such as arises from, for e…