Sciweavers

367 search results - page 22 / 74
» Prolog
Sort
View
86
Voted
EPIA
2001
Springer
15 years 6 months ago
Agent Programming in Ciao Prolog
Francisco Bueno
64
Voted
ITICSE
1998
ACM
15 years 6 months ago
PRAM: prolog automatic marker
Fatima Z. Mansouri, Cleveland A. Gibbon, Colin A. ...
106
Voted
PLILP
1993
Springer
15 years 6 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
109
Voted
PLDI
1994
ACM
15 years 6 months ago
Type Analysis of Prolog Using Type Graphs
Pascal Van Hentenryck, Agostino Cortesi, Baudouin ...
ICLP
1992
Springer
15 years 6 months ago
Multistage Indexing Algorithms for Speeding Prolog Execution
Ta Chen, I. V. Ramakrishnan, R. Ramesh