cl-prolog2
Prolog compiler library
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.
Common Interface to ISO Prolog implementations from Common Lisp
31 stars
8 watching
1 forks
Language: Common Lisp
last commit: about 3 years ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
clozure/ccl | A Common Lisp implementation of a compiler and runtime environment | 858 |
sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
jscl-project/jscl | A Common Lisp compiler that generates JavaScript code | 888 |
lisp-maintainers/cl-repl | A full-featured Common Lisp REPL with rich functionalities such as powerful multiline editing and debugging tools. | 20 |
l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
vscosta/yap-6.3 | A high-performance Prolog compiler with support for various input/output methods and interface to C. | 13 |
c2lang/c2compiler | A C compiler written in the C2 language itself. | 703 |
lispgames/cl-sdl2 | Common Lisp bindings for SDL2 using C2FFI. | 309 |
mmontone/cltl2-doc | A documentation project for Common Lisp The Language Second Edition, focusing on English PDF generation. | 10 |
kiselgra/c-mera | A source-to-source compiler system for C-like languages using Lisp's macro system. | 411 |
edicl/cl-interpol | Libraries that enhance Common Lisp syntax for string interpolation | 63 |
hellerve/sbcli | An improved REPL for SBCL with enhanced error handling and readline capabilities. | 95 |
cl-babel/babel | A Common Lisp library for efficient charset encoding and decoding | 92 |