hn.today

Jev, Prolog, Pi, and the dream of probabilistic logic programming

deepclause.substack.com16 points0 comments
Screenshot of Jev, Prolog, Pi, and the dream of probabilistic logic programming

Jev integrated into DeepClause and its Pi extension maps Jev's probabilistic outputs directly onto logical predicates in DML/Prolog, letting developers build deterministic, type-safe routing skills that call a judge predicate to ask multiple choice (choose), scaled ratings (rate), yes/no verification (verify), and calibrated probabilities (probability). The example shows a triage workflow: Jev evaluates a message and policy via those questions, deterministic Prolog clauses then select routing or escalation, an urgency threshold modifies the decision, and the system emits human-readable actions. The setup runs with a Typesafe API key and a Pi extension install and can be automated when a tool flag is enabled.

This revives probabilistic logic programming concepts long explored by meta-interpreters and systems like ProbLog/DeepProbLog, which never scaled because probabilities came from hand-crafted experts and toy examples. Jev provides scalable, data-driven probabilities cheaply, lowering indeterminism and compute cost compared with pure LLM/agent stacks, and so should finally enable practical expert-system-style applications - safety-first routing, refund triage, SOP2AGENT workflows - where probabilistic judgments feed logical rules to produce deterministic, auditable outcomes.

Read on deepclause.substack.com0 comments on Hacker News

Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.

More in AI

The daily digest

Today's best Hacker News stories, summarized and screenshotted, one email a day.