difflog-project / datalog-bench
Benchmark Suite for Interpretable Rule Learning
☆12Updated 4 years ago
Alternatives and similar repositories for datalog-bench:
Users that are interested in datalog-bench are comparing it to the libraries listed below
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Experimentation framework for Popper☆22Updated 11 months ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆17Updated last month
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Port of Aleph to SWI-Prolog☆46Updated last year
- VATA Tree Automata Library☆32Updated 8 months ago
- ☆40Updated 6 years ago
- A. Cropper and S.H. Muggleton. Learning efficient logic programs. Machine learning, 2019.☆14Updated 7 years ago
- ☆17Updated 2 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆50Updated 5 years ago
- Slog 1.0☆41Updated 10 months ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 5 months ago
- Code for enumeration from a CFG☆18Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- ☆16Updated 3 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- The Ciao Preprocessor☆11Updated 5 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 6 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated 2 weeks ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Top-down interpreter for ASP programs with Constraints☆31Updated 5 months ago
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 8 months ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- The Termination Problem Database☆29Updated 3 months ago
- Call Julia code from Prolog☆27Updated 2 years ago
- Python interface for SWI-Prolog☆46Updated this week