Search results

Question: Extending Proof Computation in Scallop

Status: Open.

#52 In scallop-lang/scallop;

· mahi045 opened on Oct 29, 2025

Query on Top-K Provenance Computation in Scallop

Status: Open.

#51 In scallop-lang/scallop;

· mahi045 opened on Oct 27, 2025

can not compile basic example

Status: Open.

#50 In scallop-lang/scallop;

· edelah opened on Sep 4, 2025

Scallopy: Adding probabilities to rules

Status: Open.

#46 In scallop-lang/scallop;

· laurendelong21 opened on Mar 14, 2025

regression & uncertainty estimate

Status: Open.

#45 In scallop-lang/scallop;

· AmosJoseph opened on Feb 22, 2025

"Constraints unbound error" for similar working Datalog code

Status: Open.

#44 In scallop-lang/scallop;

· paulsushmita opened on Feb 21, 2025

Installation Error on Mac

Status: Open.

#43 In scallop-lang/scallop;

· Sanya1001 opened on Feb 4, 2025

Uninformative Error when context not set in Scallopy

Status: Open.

#42 In scallop-lang/scallop;

· buddha314 opened on Jan 25, 2025

does the framework support LLM query?

Status: Open.

#41 In scallop-lang/scallop;

· ghost opened on Jan 1, 2025

Discussion: On-Demand Interface Design (Python vs Scallop)

Status: Open.

#40 In scallop-lang/scallop;

· RAbraham opened on Jan 1, 2025

Unknown provenance <code>tropical</code>

Status: Open.

#39 In scallop-lang/scallop;

· RAbraham opened on Dec 28, 2024

Differences in Query Interface: Scallop vs Python

Status: Open.

#37 In scallop-lang/scallop;

· RAbraham opened on Dec 12, 2024