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 compiler and runtime environment 855
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 885
lisp-maintainers/cl-repl A full-featured Common Lisp REPL with rich functionalities such as powerful multiline editing and debugging tools. 19
l1mey112/crepl A compiler and interpreter for executing C code on the fly as it is typed. 30
luc-tielen/eclair-lang A compiler-based implementation of a minimalist logic programming language 221
pltools/lama A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting 70
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. 704
lispgames/cl-sdl2 A Common Lisp wrapper around the SDL 2.0 C Library 307
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. 407
edicl/cl-interpol Libraries that enhance Common Lisp syntax for string interpolation 62
hellerve/sbcli An improved REPL for SBCL with enhanced error handling and readline capabilities. 92
cl-babel/babel A Common Lisp library for efficient charset encoding and decoding 92