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: almost 5 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
clozure/cclA Common Lisp implementation of a compiler and runtime environment858
sjl/temperanceAn implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality.58
jscl-project/jsclA Common Lisp compiler that generates JavaScript code888
lisp-maintainers/cl-replA full-featured Common Lisp REPL with rich functionalities such as powerful multiline editing and debugging tools.20
l1mey112/creplA compiler and interpreter for executing C code on the fly as it is typed.29
luc-tielen/eclair-langA compiler-based implementation of a minimalist logic programming language220
pltools/lamaA programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting71
vscosta/yap-6.3A high-performance Prolog compiler with support for various input/output methods and interface to C.13
c2lang/c2compilerA C compiler written in the C2 language itself.703
lispgames/cl-sdl2Common Lisp bindings for SDL2 using C2FFI.309
mmontone/cltl2-docA documentation project for Common Lisp The Language Second Edition, focusing on English PDF generation.10
kiselgra/c-meraA source-to-source compiler system for C-like languages using Lisp's macro system.411
edicl/cl-interpolLibraries that enhance Common Lisp syntax for string interpolation63
hellerve/sbcliAn improved REPL for SBCL with enhanced error handling and readline capabilities.95
cl-babel/babelA Common Lisp library for efficient charset encoding and decoding92