Web-Prolog / swi-web-prolog
A proof-of-concept SWI-Prolog implementation of Web Prolog
☆188Updated 4 years ago
Alternatives and similar repositories for swi-web-prolog:
Users that are interested in swi-web-prolog are comparing it to the libraries listed below
- Interpreter for a simple Lisp. Written in Prolog.☆147Updated 2 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- syn·di·cate: a language for interactive programs☆156Updated 2 months ago
- A tutorial for the swipl web framework☆112Updated 4 years ago
- Some simple examples of how to use SWI Prolog as a webserver☆15Updated 5 years ago
- A compact, efficient Prolog interpreter written in plain-old C.☆295Updated this week
- Constraint Logic Programming over Integers☆199Updated last year
- A terse Prolog course☆42Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago
- A Clojure implementation of the logic programming language from chapter 4 of SICP☆68Updated 5 years ago
- A Prolog library to connect to PostgreSQL databases☆98Updated last year
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- An in-memory datalog implementation for OCaml.☆269Updated 6 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆302Updated 5 months ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Text templating processor for SWI-Prolog.☆32Updated 5 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆398Updated 2 years ago
- Cell compiler☆113Updated last year
- The implementation of microKanren, a featherweight relational programming language☆309Updated 10 years ago
- Kenichi Asai's reflective programming language Black☆196Updated 3 years ago
- A self-hosting Scheme to WebAssembly compiler☆211Updated 4 years ago
- Canonical miniKanren implementation☆355Updated 7 years ago
- Swish Concurrency Engine☆148Updated last week
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated last month
- Shen language kernel sources for porters☆372Updated 8 months ago
- Source Codes for "A Pamphlet against R"☆99Updated 3 years ago