prismplp / prismLinks
probabilistic logic programming language for statistical modeling
☆35Updated 2 months ago
Alternatives and similar repositories for prism
Users that are interested in prism are comparing it to the libraries listed below
Sorting:
- Top-down interpreter for ASP programs with Constraints☆33Updated 2 months ago
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 5 months ago
- 数学系のためのLean勉強会☆84Updated last year
- Development of the CafeOBJ interpreter☆35Updated 9 months ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Experimentation framework for Popper☆23Updated last month
- ☆50Updated 3 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆52Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- An inductive logic programming system☆236Updated 3 weeks ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- ☆16Updated 4 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆77Updated last month
- A DSL for the internal language of a topos☆66Updated last month
- Differentiable probabilistic answer set programming☆26Updated 2 months ago
- deep learning for math☆29Updated 6 years ago
- Collection of Automated Reasoners☆31Updated last month
- Formalization of Mathematical Logic☆154Updated last week
- コード例で学ぶ Lean 言語☆109Updated last week
- Bonn Lean course for winter 24/25☆36Updated 3 weeks ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 2 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆27Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- My sandbox for experimenting with solver algorithms.☆158Updated 3 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- LMNtal Compiler☆20Updated 3 months ago
- Language based on Rewriting Logic☆133Updated last month