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

GitHub

31 stars
8 watching
1 forks
Language: Common Lisp
last commit: about 3 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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