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.☆145Updated 2 years ago
- syn·di·cate: a language for interactive programs☆155Updated 2 weeks ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- A tutorial for the swipl web framework☆111Updated 4 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- The implementation of microKanren, a featherweight relational programming language☆308Updated 10 years ago
- An in-memory datalog implementation for OCaml.☆267Updated 5 months ago
- A compact, efficient Prolog interpreter written in plain-old C.☆289Updated this week
- Cell compiler☆113Updated last year
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆297Updated 4 months ago
- Urlang is JavaScript with a sane syntax☆302Updated 2 months ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 2 years ago
- Shen language kernel sources for porters☆369Updated 7 months ago
- A Prolog library to connect to PostgreSQL databases☆97Updated 10 months ago
- Canonical miniKanren implementation☆355Updated 6 years ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- An open source Prolog interpreter in JavaScript☆595Updated 2 years ago
- Constraint Logic Programming over Integers☆191Updated last year
- Shen for Common Lisp (Unmaintained)☆127Updated 9 months ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Logtalk - declarative object-oriented logic programming language☆439Updated this week
- Algebraic structures for untyped Racket☆77Updated 8 months ago
- Polynomial-time Meta-Interpretive Learning☆120Updated last month
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- Research on integrating datalog & lambda calculus via monotonicity types☆394Updated 2 years ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- Whalesong: Racket to JavaScript compiler☆251Updated 7 years ago
- LaTTe : a Laboratory for Type Theory experiments (in clojure)☆259Updated last week