Sciweavers

367 search results - page 22 / 74
» Prolog
Sort
View
ITICSE
1998
ACM
14 years 2 days ago
PRAM: prolog automatic marker
Fatima Z. Mansouri, Cleveland A. Gibbon, Colin A. ...
PLILP
1993
Springer
13 years 12 months ago
An OR Parallel Prolog Model for Distributed Memory Systems
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
Vicente Benjumea, José M. Troya
PLDI
1994
ACM
13 years 12 months ago
Type Analysis of Prolog Using Type Graphs
Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...
ICLP
1992
Springer
13 years 12 months ago
Multistage Indexing Algorithms for Speeding Prolog Execution
Ta Chen, I. V. Ramakrishnan, R. Ramesh