Swi-prolog

J Wielemaker, T Schrijvers, M Triska… - Theory and Practice of …, 2012 - cambridge.org
SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but
increasingly a community project. The core system has been shaped to its current form while …

Garbage collecting the internet: A survey of distributed garbage collection

SE Abdullahi, GA Ringwood - ACM Computing Surveys (CSUR), 1998 - dl.acm.org
Internet programming languages such as Java present new challenges to garbage-
collection design. The spectrum of garbage-collection schema for linked structures …

Parallel execution of prolog programs: a survey

G Gupta, E Pontelli, KAM Ali, M Carlsson… - ACM Transactions on …, 2001 - dl.acm.org
Since the early days of logic programming, researchers in the field realized the potential for
exploitation of parallelism present in the execution of logic programs. Their high-level …

SICStus Prolog—the first 25 years

M Carlsson, P Mildner - Theory and Practice of Logic Programming, 2012 - cambridge.org
SICStus Prolog has evolved for nearly 25 years. This is an appropriate point in time for
revisiting the main language and design decisions, and try to distill some lessons. SICStus …

ECLiPSe–from LP to CLP

J Schimpf, K Shen - Theory and Practice of Logic Programming, 2012 - cambridge.org
ECLiPSe is a Prolog-based programming system, aimed at the development and
deployment of constraint programming applications. It is also used for teaching most aspects …

Performing exact garbage collection using bitmaps that identify pointer values within objects

DM Ungar, MI Wolczko - US Patent 5,920,876, 1999 - Google Patents
One embodiment of the present invention presents a method and apparatus for efficiently
performing garbage collection on objects de? ned Within an object-oriented programming …

The Muse approach to OR-parallel Prolog

KAM Ali, R Karlsson - International Journal of Parallel Programming, 1990 - Springer
Muse (Mu lti-se quential Prolog engines) is a simple and efficient approach to Or-parallel
execution of Prolog programs. It is based on having several sequential Prolog engines, each …

Method and apparatus for optimizing exact garbage collection using a bifurcated data structure

MI Wolczko, DM Ungar - US Patent 5,900,001, 1999 - Google Patents
Apparatus, methods, systems and computer program prod ucts are disclosed describing a
data structure and associated processes that optimize garbage collection techniques. The …

Collection schemes for distributed garbage

SE Abdullahi, EE Miranda, GA Ringwood - International Workshop on …, 1992 - Springer
With the continued growth in interest in distributed systems, garbage collection is actively
receiving attention by designers of distributed languages [Bal, 1990]. Distribution adds …

Native preemptive threads in SWI-Prolog

J Wielemaker - International Conference on Logic Programming, 2003 - Springer
Concurrency is an attractive property of a language to exploit multi-CPU hardware or
perform multiple tasks concurrently. In recent years we see Prolog systems experimenting …