Alternatives and similar repositories for spyrolog

Users that are interested in spyrolog are comparing it to the libraries listed below

• leonweber / nlprolog

  View on GitHub
  Neural Logic Reasoning for Question Answering
  ☆75May 25, 2021Updated 4 years ago
• ForoughA / CORGI

  View on GitHub
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆26Jun 18, 2020Updated 5 years ago
• fnogatz / swivm

  View on GitHub
  SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
  ☆41Jan 23, 2023Updated 3 years ago
• tianran / tifmo

  View on GitHub
  TIFMO: Textual Inference Forward-chaining MOdule
  ☆12Apr 25, 2014Updated 11 years ago
• KNowledgeOnWebScale / retina

  View on GitHub
  Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.
  ☆13Aug 13, 2025Updated 6 months ago
• ctongfei / unli

  View on GitHub
  Uncertain natural language inference
  ☆15Jun 12, 2023Updated 2 years ago
• msva / lua-fann

  View on GitHub
  A set of Lua bindings for the Fast Artificial Neural Network (FANN) library.
  ☆15May 19, 2019Updated 6 years ago
• ciao-lang / ciaopp

  View on GitHub
  The Ciao Preprocessor
  ☆13Jun 17, 2025Updated 7 months ago
• uclnlp / ntp

  View on GitHub
  End-to-End Differentiable Proving
  ☆90Nov 21, 2018Updated 7 years ago
• JanWielemaker / swi-chat

  View on GitHub
  Demo SWI-Prolog HTTP based chat server
  ☆19Nov 2, 2016Updated 9 years ago
• pxch / event_imp_arg

  View on GitHub
  Implict Argument Prediction with Event Knowledge
  ☆13May 25, 2018Updated 7 years ago
• JoseCSantos / GILPS

  View on GitHub
  General Inductive Logic Programming System
  ☆18Sep 22, 2022Updated 3 years ago
• propbank / propbank-frames

  View on GitHub
  Lexicon of frame files used by Propbank annotation. A searchable, readable version of the latest release is here: http://propbank.github…
  ☆106Dec 28, 2025Updated last month
• jariazavalverde / fasill

  View on GitHub
  Fuzzy Aggregators and Similarity Into a Logic Language
  ☆26Sep 12, 2024Updated last year
• asaparov / PWL

  View on GitHub
  Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.
  ☆17Jun 13, 2025Updated 8 months ago
• cgpotts / pypragmods

  View on GitHub
  Bayesian pragmatic models implemented in Python
  ☆20May 11, 2025Updated 9 months ago
• aprolog-lang / aprolog

  View on GitHub
  αProlog
  ☆18Jul 9, 2023Updated 2 years ago
• BIU-NLP / Breaking_NLI

  View on GitHub
  NLI test set with lexical inferences
  ☆49Oct 2, 2018Updated 7 years ago
• lil-lab / amr

  View on GitHub
  Cornell AMR Semantic Parser (Artzi et al., EMNLP 2015)
  ☆24Apr 13, 2020Updated 5 years ago
• motersen / pot

  View on GitHub
  organizes tags
  ☆23Nov 5, 2017Updated 8 years ago
• nicoabie / quickcheck

  View on GitHub
  Randomized testing for Prolog à la QuickCheck
  ☆23Jul 30, 2019Updated 6 years ago
• allenai / tuffylite

  View on GitHub
  TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.
  ☆27Aug 4, 2016Updated 9 years ago
• mndrix / edcg

  View on GitHub
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Mar 22, 2018Updated 7 years ago
• ptarau / natlog

  View on GitHub
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆33Oct 3, 2025Updated 4 months ago
• sasagawa888 / Elxlog

  View on GitHub
  Prolog interpreter/compiler
  ☆33Jun 15, 2020Updated 5 years ago
• arranger1044 / spyn

  View on GitHub
  Sum-Product Network learning routines in python
  ☆27Jun 10, 2015Updated 10 years ago
• rm-hull / wam

  View on GitHub
  Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction
  ☆28Oct 6, 2018Updated 7 years ago
• ru / casanova

  View on GitHub
  A charming general game player
  ☆17Apr 20, 2010Updated 15 years ago
• SWI-Prolog / swipl-wasm

  View on GitHub
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Aug 29, 2022Updated 3 years ago
• kkty / prolog

  View on GitHub
  Implementation of Prolog in TypeScript
  ☆35Dec 30, 2022Updated 3 years ago
• Kidev / AdaPhysics2D

  View on GitHub
  A 2D physics engine for Ada
  ☆16Feb 19, 2019Updated 6 years ago
• decompositional-semantics-initiative / DNC

  View on GitHub
  Diverse Natural Language Inference Collection - NLI dataset that can used to evaluate how well models perform distinct types of reasoning…
  ☆36Feb 10, 2021Updated 5 years ago
• Samsung / LexSubGen

  View on GitHub
  Lexical Substitution Framework
  ☆46Apr 7, 2023Updated 2 years ago
• jgung / verbnet-parser

  View on GitHub
  VerbNet semantic parser and related utilities
  ☆40Oct 25, 2022Updated 3 years ago
• hshindo / JukaiNLP.jl

  View on GitHub
  NLP Toolkit based on Deep Learning
  ☆35Apr 23, 2017Updated 8 years ago
• ptarau / iProlog

  View on GitHub
  Java-based lightweight Prolog virtual machine
  ☆37Jul 3, 2024Updated last year
• swi-to-yap / swicli

  View on GitHub
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Jan 21, 2017Updated 9 years ago
• vaporvee / gd-net-thirdpersoncontroller

  View on GitHub
  Thirdperson controller made in the .NET version of Godot 4.0 with C#
  ☆14Mar 21, 2024Updated last year
• logicmoo / logicmoo_nlu

  View on GitHub
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Oct 2, 2021Updated 4 years ago