Alternatives and similar repositories for fasill

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

• mndrix / jolog

  View on GitHub
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Mar 10, 2015Updated 10 years ago
• aarroyoc / teruel

  View on GitHub
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆19Feb 5, 2024Updated 2 years ago
• jnoessner / rockIt

  View on GitHub
  RockIt: A query engine for Markov logic
  ☆11May 24, 2016Updated 9 years ago
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• DavePearce / jkit

  View on GitHub
  Java Compiler Kit (JKit)
  ☆12May 20, 2017Updated 8 years ago
• PerplexSystems / commandry

  View on GitHub
  A command-line parser for Standard ML
  ☆21Dec 29, 2025Updated last month
• leuschel / logen

  View on GitHub
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆21Jul 19, 2016Updated 9 years ago
• logicmoo / prologmud

  View on GitHub
  MUD Server written in Prolog using Forward chaining
  ☆28Feb 6, 2022Updated 4 years ago
• samer-- / prolog

  View on GitHub
  Prolog stuff
  ☆27Sep 1, 2019Updated 6 years ago
• deepeshpatel / jnumbertools

  View on GitHub
  JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…
  ☆12May 13, 2025Updated 9 months ago
• thamugadi / semantic-preservation

  View on GitHub
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆12May 1, 2024Updated last year
• fmthoma / functional-data-structures-talk

  View on GitHub
  ☆15May 23, 2017Updated 8 years ago
• a-yiorgos / smallprolog

  View on GitHub
  Small Prolog
  ☆14Dec 8, 2016Updated 9 years ago
• jfdm / velo-lang

  View on GitHub
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Apr 3, 2023Updated 2 years ago
• rali-udem / gophi

  View on GitHub
  GOPHI: an AMR-to-English Verbalizer
  ☆11Feb 5, 2020Updated 6 years ago
• mndrix / mavis

  View on GitHub
  Optional types for Prolog
  ☆11Aug 14, 2018Updated 7 years ago
• alpha-convert / delta

  View on GitHub
  Implementation of the Delta Language
  ☆13Mar 18, 2024Updated last year
• celinehocquette / numsynth-aaai23

  View on GitHub
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆17Feb 22, 2023Updated 2 years ago
• JanWielemaker / swi-chat

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

  View on GitHub
  Easy concurrency for Prolog
  ☆13May 30, 2014Updated 11 years ago
• datavetaren / prologcoin

  View on GitHub
  ☆36May 26, 2021Updated 4 years ago
• jdevuyst / dependable-data-structures

  View on GitHub
  Experiments in implementing functional data structures in Idris
  ☆15Jul 25, 2019Updated 6 years ago
• leonweber / spyrolog

  View on GitHub
  Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/
  ☆15Jun 23, 2020Updated 5 years ago
• chrisamaphone / sestina

  View on GitHub
  Tinkering with creating a functional programming language for procedural content generation.
  ☆19Nov 28, 2024Updated last year
• logicmoo / logicmoo_clif

  View on GitHub
  Base Forward Chaining Knowledge Base Maintenance System
  ☆19Oct 2, 2021Updated 4 years ago
• GavinMendelGleason / mavis

  View on GitHub
  Optional types for Prolog
  ☆17Dec 12, 2019Updated 6 years ago
• CapelliC / hitchhicker-prolog

  View on GitHub
  Javascript porting of Paul Tarau latest Prolog Engine architecture
  ☆19Nov 6, 2018Updated 7 years ago
• terminusdb / terminus_store_prolog

  View on GitHub
  Prolog binding for terminusdb-store
  ☆22Jun 13, 2022Updated 3 years ago
• utdb / judged

  View on GitHub
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Nov 7, 2019Updated 6 years ago
• triska / proloxy

  View on GitHub
  Prolog Reverse Proxy
  ☆20Feb 24, 2018Updated 7 years ago
• mndrix / func

  View on GitHub
  Apply and compose functions in Prolog
  ☆19Oct 27, 2016Updated 9 years ago
• uclnlp / ntp

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

  View on GitHub
  A Javascript RTree
  ☆22Nov 6, 2023Updated 2 years ago
• dcnorris / precautionary

  View on GitHub
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Feb 1, 2022Updated 4 years ago
• hhu-stups / prolog-jupyter-kernel

  View on GitHub
  A Jupyter kernel for Prolog
  ☆24May 7, 2024Updated last year
• stefan-hoeck / idris2-pack-db

  View on GitHub
  ☆30Updated this week
• opencog / generate

  View on GitHub
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆32Dec 9, 2025Updated 2 months ago
• SWI-Prolog / packages-http

  View on GitHub
  The SWI-Prolog HTTP server and client libraries
  ☆27Jan 27, 2026Updated 2 weeks ago
• sasagawa888 / Elxlog

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