triska / lisprologLinks
Interpreter for a simple Lisp. Written in Prolog.
☆148Updated 2 years ago
Alternatives and similar repositories for lisprolog
Users that are interested in lisprolog are comparing it to the libraries listed below
Sorting:
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 4 years ago
- You dig Scheme. The world is coded in C. You get both.☆100Updated 4 years ago
- A Small Lisp in Forth☆156Updated 4 years ago
- A neatly typeset version of John McCarthy's classic paper☆123Updated 4 months ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆122Updated 12 years ago
- Shen language kernel sources for porters☆376Updated 10 months ago
- Algebraic structures for untyped Racket☆77Updated 11 months ago
- nanopass compiler framework for Racket☆190Updated last year
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆194Updated 5 years ago
- Archive of LISP Machine, Inc.☆269Updated 4 years ago
- Low-level Lisp with compile-time memory management☆274Updated 7 years ago
- Shen for Common Lisp (Unmaintained)☆128Updated last year
- 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
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆207Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Don't Lisp, Talk!☆57Updated last year
- A practical guide to Racket macros☆252Updated 5 years ago
- ☆79Updated 6 years ago
- Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language☆225Updated 3 years ago
- ☆170Updated 7 years ago
- A Common Lisp library for solving linear programming problems☆110Updated this week
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Updated 4 years ago
- Canonical miniKanren implementation☆358Updated 7 years ago
- Library and Toolkit for Standard ML☆145Updated 2 years ago
- The implementation of microKanren, a featherweight relational programming language☆310Updated 11 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 3 years ago
- Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.☆232Updated last week
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago