-
Python-Prolog-Interpreter
A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
I'd love a new way to write first order logic programs.
I tried to generate prolog from natural language using GPT4 with sometimes interesting results.
https://github.com/HumanAssistedIntelligence/logical
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
-
Show HN: Pi-C.A.R.D, a Raspberry Pi Voice Assistant
-
Open Source Tool Changer for FDM 3D Printers
-
everything-ai: the power of AI, on your computer
-
Ask HN: Founders who offer free/OS and paid SaaS, how do you manage your code?
-
Show HN: Julep: A platform to manage memories, knowledge and tools for LLM apps