Search results

scallopy.Module

Status: Open.

#55 In scallop-lang/scallop;

· hammondm opened on Mar 11, 2026

Unable to run the data understanding example

Status: Open.

#54 In scallop-lang/scallop;

· mahi045 opened on Feb 19, 2026

Can ignore scallopy_ext?

Status: Open.

#53 In scallop-lang/scallop;

· mahi045 opened on Dec 3, 2025

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