ICLP 1989 | Sciweavers

34

ICLP
1989
Springer

106views Automated Reasoning» more ICLP 1989»

Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism

14 years 2 months ago

It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of...

Kalyan Muthukumar, Manuel V. Hermenegildo

claim paper

Read More »

28

click to vote

ICLP
1989
Springer

81views Automated Reasoning» more ICLP 1989»

Lexical Scoping as Universal Quantification

14 years 3 months ago

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

32

click to vote

ICLP
1989
Springer

63views Automated Reasoning» more ICLP 1989»

A Simple Code Improvement Scheme for Prolog

14 years 3 months ago

Download www.cs.arizona.edu

The generation of efﬁcient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...

Saumya K. Debray

claim paper

Read More »

15

click to vote

ICLP
1989
Springer

79views Automated Reasoning» more ICLP 1989»

Constraint Hierarchies and Logic Programming

14 years 3 months ago

Download reference.kfupm.edu.sa

Alan Borning, Michael J. Maher, Amy Martindale, Mo...

claim paper