Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
☆15Jun 23, 2020Updated 6 years ago
Alternatives and similar repositories for spyrolog
Users that are interested in spyrolog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neural Logic Reasoning for Question Answering☆75May 25, 2021Updated 5 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆27Jun 18, 2020Updated 6 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- ☆11Mar 5, 2022Updated 4 years ago
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Dec 20, 2017Updated 8 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated last year
- End-to-End Differentiable Proving☆91Nov 21, 2018Updated 7 years ago
- Uncertain natural language inference☆15Jun 12, 2023Updated 3 years ago
- Implict Argument Prediction with Event Knowledge☆13May 25, 2018Updated 8 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆27Sep 12, 2024Updated 2 years ago
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 12 years ago
- Lexicon of frame files used by Propbank annotation. A searchable, readable version of the latest release is here: http://propbank.github…☆111Dec 28, 2025Updated 10 months ago
- A simulation language☆22Dec 21, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Extended DCG syntax for Prolog by Peter Van Roy☆22Mar 22, 2018Updated 8 years ago
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆18Aug 6, 2026Updated 2 months ago
- Advanced Semantics for Commonsense Knowledge Extraction (WWW 2021)☆26Jan 3, 2023Updated 3 years ago
- NLI test set with lexical inferences☆49Oct 2, 2018Updated 8 years ago
- Bayesian pragmatic models implemented in Python☆21May 11, 2025Updated last year
- Randomized testing for Prolog à la QuickCheck☆23Jul 30, 2019Updated 7 years ago
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆11Aug 7, 2024Updated 2 years ago
- Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language☆11Feb 26, 2024Updated 2 years ago
- GrizzlyBer, the fiercest TLV-BER parser!☆15Feb 9, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Code and CoarseWSD-20 datasets for "Language Models and Word Sense Disambiguation: An Overview and Analysis"☆26May 18, 2022Updated 4 years ago
- CSKG: The CommonSense Knowledge Graph☆134Oct 4, 2023Updated 3 years ago
- A JNA wrapper for nanomsg/nng☆16Oct 5, 2020Updated 6 years ago
- [CoNLL'21] MirrorWiC: On Eliciting Word-in-Context Representationsfrom Pretrained Language Models☆12Oct 31, 2021Updated 5 years ago
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆11Dec 12, 2023Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- organizes tags☆23Nov 5, 2017Updated 8 years ago
- From pixels to symbolic rule learning☆13Nov 12, 2021Updated 4 years ago
- Yet another Java based Prolog engine☆34Oct 10, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Evaluate code in a running Guile process☆17Feb 14, 2026Updated 8 months ago
- ☆10Jul 24, 2021Updated 5 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆14Mar 23, 2023Updated 3 years ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Aug 4, 2016Updated 10 years ago
- Causal tracing for language models☆12Apr 2, 2024Updated 2 years ago
- A Wikipedia-based summarization dataset☆14Mar 27, 2023Updated 3 years ago
- Modular decomposition of directed graphs☆14Aug 25, 2026Updated 2 months ago