bkrn / prolambLinks
SWI-Prolog lambda runtime
☆17Updated last year
Alternatives and similar repositories for prolamb
Users that are interested in prolamb are comparing it to the libraries listed below
Sorting:
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- Turn a Prolog File into a Gen Server☆22Updated 10 years ago
- Forth Flavoured Erlang☆36Updated last year
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- An implementation of the Scheme programming language for the Erlang/OTP VM.☆14Updated 2 months ago
- DEPRECATED (use lfex/lanes instead)☆37Updated 6 years ago
- An implementation of µKanren in Lisp Flavored Erlang.☆18Updated 10 years ago
- Blogging/CMS framework for SWI-Prolog.☆23Updated 2 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆43Updated last year
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- LFE Flavor package☆42Updated 4 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Updated 8 years ago
- syn·di·cate: a language for interactive programs☆159Updated 5 months ago
- A Web Framework for LFE☆17Updated 9 years ago
- Prolog Reverse Proxy☆19Updated 7 years ago
- simplified query engine based on logic programming paradigm☆152Updated 6 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆18Updated last year
- Text templating processor for SWI-Prolog.☆32Updated 5 years ago
- A Swift wrapper around Racket CS.☆64Updated last week
- Haskell subset compiled to the Beam machine.☆42Updated 10 years ago
- the Art of the Propagator☆51Updated 12 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Updated 4 years ago
- A comprehensive LFE rebar3 plugin for all your LFE tooling needs☆48Updated 6 months ago
- Markup Language Expressions for LFE☆35Updated 2 years ago
- LFE HTTP Server Abstraction and Web Application Middleware Infrastructure☆22Updated last year
- Prolog interpreter/compiler☆33Updated 5 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 6 years ago
- Exercism exercises in Lisp Flavoured Erlang (LFE).☆25Updated 3 weeks ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆47Updated 3 years ago