Sciweavers

3 search results - page 1 / 1
» slp 1989
Sort
View
59
Voted
SLP
1989
47views more  SLP 1989»
14 years 12 months ago
Determination of Variable Dependence Information through Abstract Interpretation
Kalyan Muthukumar, Manuel V. Hermenegildo
77
Voted
SLP
1989
87views more  SLP 1989»
14 years 12 months ago
Partial Evaluation in Prolog: Some Improvements about Cut
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
Michele Bugliesi, F. Russo
68
Voted
SLP
1989
105views more  SLP 1989»
14 years 12 months ago
Automatic Ordering of Subgoals - A Machine Learning Approach
This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...
Shaul Markovitch, Paul D. Scott