Using an extended PROLOG to solve the lion and unicorn puzzle

1989 ◽  
Vol 5 (3) ◽  
pp. 403-408
Author(s):  
Richard Schmid ◽  
Hans-Albert Schneider ◽  
Thomas Filkorn
Keyword(s):  
Extended Prolog

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.

Extended Prolog and its application to an integrated parser for text understanding

1986 ◽  
pp. 214-225 ◽  
Author(s):  
Kuniaki Uehara ◽  
Takashi Kakiuchi ◽  
Osamu Mikami ◽  
Jun'ichi Toyoda
Keyword(s):  
Text Understanding ◽  
Extended Prolog

scholarly journals Programs as Data in an Extended Prolog

1993 ◽  
Vol 36 (3) ◽  
pp. 217-226 ◽  
Author(s):  
G. Rossi
Keyword(s):  
Extended Prolog

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

A prolog technology theorem prover: Implementation by an extended prolog compiler

1988 ◽  
Vol 4 (4) ◽  
pp. 353-380 ◽  
Author(s):  
Mark E. Stickel
Keyword(s):  
Theorem Prover ◽  
Extended Prolog
Sign in / Sign up

Export Citation Format

Share Document