temperance
Prolog implementation
An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality.
A logic programming library for Common Lisp.
58 stars
10 watching
5 forks
Language: Common Lisp
last commit: about 4 years ago
Linked from 1 awesome list
codyreichert/awesome-clRelated projects:
| Repository | Description | Stars |
|---|---|---|
 cl-model-languages/cl-prolog2 | A Common Lisp library that provides a translator from S-expression to ISO-standardized Prolog language and integrates with various Prolog compilers for efficient execution. | 31 |
 jldupont/prolog.js | An interpreter for a logic-based programming language | 81 |
 mthom/scryer-prolog | An implementation of the Prolog programming language in Rust. | 2,091 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
| sjl/beast | A toolkit for building flexible objects in Common Lisp for video games. | 28 |
 vindarel/cl-str | A modern and consistent Common Lisp library for string manipulation. | 312 |
 erdwolf/prolog | An interpreter for a logic-based programming language written in Haskell. | 61 |
 burtonsamograd/sigil | A compiler and REPL for a Lisp dialect used in web development | 26 |
 samer--/pljulia | An embedded Julia interpreter for SWI Prolog allowing numerical and technical computing within Prolog code | 6 |
 lexi-lambda/hackett | An experimental implementation of a Haskell-like language with Racket's macro system | 1,167 |
 koji-kojiro/cl-repl | A Common Lisp implementation of a full-featured REPL with rich functionalities | 153 |
 vscosta/yap-6.3 | A high-performance Prolog compiler with support for various input/output methods and interface to C. | 13 |
 privet-kitty/cl-competitive | A collection of Common Lisp implementations of data structures and algorithms for competitive programming. | 181 |
 vale981/practical-cl-beautified | Enhances the online version of Practical Common Lisp with syntax highlighting and interactive features. | 34 |
 wadehennessey/wcl | Enables efficient development of large numbers of concurrent Common Lisp applications on Unix systems. | 79 |