Anniepoo / swiplwebtut
A tutorial for the swipl web framework
☆111Updated 4 years ago
Alternatives and similar repositories for swiplwebtut:
Users that are interested in swiplwebtut are comparing it to the libraries listed below
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆188Updated 4 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Text templating processor for SWI-Prolog.☆32Updated 5 years ago
- Blogging/CMS framework for SWI-Prolog.☆22Updated 2 years ago
- A tutorial for DCG's in swi-Prolog☆34Updated 4 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 2 years ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago
- Some simple examples of how to use SWI Prolog as a webserver☆14Updated 4 years ago
- Some notes taken while working on Prolog☆162Updated last year
- Logtalk - declarative object-oriented logic programming language☆440Updated this week
- Constraint Logic Programming over Finite Domains☆175Updated 5 years ago
- Prolog HTTPS Servers☆37Updated 7 years ago
- The SWI-Prolog RDF store☆30Updated 2 weeks ago
- Pengine and Prolog scratchpad☆58Updated 4 years ago
- Date and time library for Prolog☆27Updated 4 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆18Updated this week
- 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
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Learn Prolog Now LaTeX sources☆85Updated 2 years ago
- A collection of Prolog libraries.☆88Updated 6 months ago
- Constraint Logic Programming over Integers☆192Updated last year
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆162Updated 7 years ago
- Prolog stuff☆28Updated 5 years ago
- GNU Prolog☆117Updated last year
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- Canonical miniKanren implementation☆355Updated 6 years ago
- IRC Bot Written in Prolog☆20Updated 3 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated last month
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year