Jev, Prolog, Pi, and the dream of probabilistic logic programming
A developer has added support for Jev, Typesafe's probabilistic inference engine, to the DeepClause SDK and its Pi extension, allowing logical predicates in DML/Prolog to call Jev or fall back to an LLM for judgments suc…