A common-LISP implementation of an extended Prolog system

1988 ◽  
Vol 23 (4) ◽  
pp. 87-102
Author(s):  
Giuseppe Cattaneo ◽  
Vincenzo Loia
Keyword(s):  
Common Lisp ◽  
Extended Prolog

The embeddable Common Lisp

1995 ◽  
Vol VIII (1) ◽  
pp. 30-41
Author(s):  
Guiseppe Attardi
Keyword(s):  
Common Lisp

A guided tour of the Common Lisp interface manager

1990 ◽  
Vol IV (1) ◽  
pp. 17-37 ◽  
Author(s):  
Ramana Rao ◽  
William M. York ◽  
Dennis Doughty
Keyword(s):  
Common Lisp ◽  
The Common ◽  
Guided Tour

A prototype of an interface builder for the Common Lisp Interface Manager—CLIB

1993 ◽  
Vol 28 (8) ◽  
pp. 19-28
Author(s):  
Jan Hesse ◽  
Rainer König ◽  
Filippo Logi ◽  
Jens Herder
Keyword(s):  
Common Lisp ◽  
The Common

scholarly journals How to Implement Lightweight Threads

2019 ◽  
Author(s):  
Mauricio Toro
Keyword(s):  
Constraint Programming ◽  
Efficient Implementation ◽  
High Order ◽  
Common Lisp ◽  
Event Driven ◽  
Lightweight Threads ◽  
Concurrent Constraint Programming

Using continuations in high order languages such as Common Lisp is notvery efficient because they do not work close to the compiler . Other optionssuch as making an scheduler in C can be efficient when the sources of theinterpreter are available and they can be modified, otherwise, making aninterface with C using FFI causes an overhead, making it impossible toachive “lighweight”.To make an efficient implementation of lighweight threads in CommonLisp it is required to analyze the type of applications which will use thethreads. For example, for a Concurrent Constraint Programming (CCP)interpreter using Gecode, event driven programming seams very natural,but for the Omax system, it is not be appropriate.

ECLiPSe – From LP to CLP

2011 ◽  
Vol 12 (1-2) ◽  
pp. 127-156 ◽  
Author(s):  
JOACHIM SCHIMPF ◽  
KISH SHEN
Keyword(s):  
Logic Programming ◽  
Constraint Programming ◽  
Combinatorial Problem ◽  
Third Party ◽  
Programming System ◽  
Development Environment ◽  
Control Language ◽  
Extended Prolog ◽  
High Level ◽  
And Control

AbstractECLiPSe is a Prolog-based programming system, aimed at the development and deployment of constraint programming applications. It is also used for teaching most aspects of combinatorial problem solving, for example, problem modelling, constraint programming, mathematical programming and search techniques. It uses an extended Prolog as its high-level modelling and control language, complemented by several constraint solver libraries, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments. This paper discusses language extensions, implementation aspects, components, and tools that we consider relevant on the way from Logic Programming to Constraint Logic Programming.

Sign in / Sign up

Export Citation Format

Share Document