Stars
A "server-wide" state object shared across sessions on a Streamlit server.
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
A proof-of-concept SWI-Prolog implementation of Web Prolog
SWI-Prolog web server sources for www.swi-prolog.org
The SWI-Prolog HTTP server and client libraries
A tool that converts documents to clean one sentence per line text files ready for NLP and Generative AI processing
hitchhiker Prolog - an implementation of a novel virtual machine
ReFinED is an efficient and accurate entity linking (EL) system.
Experimental playground for intuitionistic propositional calculus
Analytic sampler compiler for combinatorial systems
Canonical expressions are a kind of binary expressions used especially in the implicative calculus of propositions
Javascript porting of Paul Tarau latest Prolog Engine architecture