Vanusa Menditi Calegario, Inês de Castro Dutra  Home/Search
Context Related
| cos.ufrj.br/pub/tech_re...es47898.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cos.ufrj.br/~ines/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This work compares and analyses conventional and logic programming systems using a qualitative and quantitative approach. Logic programming is known to be easier and simpler than imperative programming, but it is not very popular because of its believed inefficiency. Our work shows that logic programming can be as efficient as imperative programming for a wide range of symbolic and scientific applications. We used different Prolog-based systems, including SICStus, XSB, Yap, CLP(R) and Aurora... (Update)
Context of citations to this paper: More
...logic programming systems and parallel C compatible systems. In contrast, previous works such as [16] 13] 6] 7] 5] 15] 14] [3] and [8] have also studied the performance of logic programming systems in other contexts. The paper is organised as follows. Section 2...
.... of CLP, however, is that for a fixed set of constraints the computation time is in general longer than for traditional constraint solvers [8]. 3.3 Constraint Propagation The CSP is processed by a general constraint solving procedure. This procedure transforms the CSP into a...
Cited by: More
Constraints for Multimedia Presentation Generation - Geurts (2002) (Correct)
Performance Evaluation of Or-Parallel Logic Programming.. - Calegario, Dutra (1999) (Correct)
Similar documents (at the sentence level):
7.9%: Parallel Conventional Systems versus Parallel Logic.. - Calegario, Dutra (1998) (Correct)
Active bibliography (related documents): More All
0.5: A Proof-Theoretic Framework for Logic Programming - Jäger, Stärk (1998) (Correct)
0.2: Mobile Objects in Distributed Oz - Van Roy, Haridi, Brand, Smolka.. (1997) (Correct)
0.2: Concurrent Constraint Programming Based on Functional Programming .. - Smolka (1998) (Correct)
Similar documents based on text: More All
0.4: Understanding Memory Management in Prolog Systems - Castro, Costa (2001) (Correct)
0.3: AM2: An AND/OR Parallel Prolog Simulator - Luiz Monnerat Ines (Correct)
0.3: Arc-Consistency Algorithms on a Software DSM Platform - Pereira, Dutra, al. (2001) (Correct)
Related documents from co-citation: More All
2: WC Recommendation are available httpwww (context) - XSL, Version et al. - 1999
BibTeX entry: (Update)
V. M. Calegario and I. C. Dutra. Performance Comparison between Conventional and Logic Programming Systems. Technical Report ES-478/98, COPPE/Systems Engineering and Computer Science, Setembro 1998. http://citeseer.ist.psu.edu/calegario98performance.html More
@misc{ calegario98performance,
author = "V. Calegario and I. Dutra",
title = "Performance Comparison between Conventional and Logic Programming Systems",
text = "V. M. Calegario and I. C. Dutra. Performance Comparison between Conventional
and Logic Programming Systems. Technical Report ES-478/98, COPPE/Systems
Engineering and Computer Science, Setembro 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/calegario98performance.html" }
Citations (may not include all citations):561 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
496 SPLASH: Stanford Parallel Applications for SharedMemory (context) - Singh, Weber et al.
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
267 Software Engineering: A Practitioner's Approach (context) - Pressman - 1992
142 Mint: A front end for efficient simulation of shared-memory .. - Veenstra, Fowler - 1994
125 Warren's Abstract Machine --- A Tutorial Reconstruction (context) - Ait-Kaci - 1991
120 The Aurora Or-parallel Prolog System (context) - Lusk, Warren et al. - 1990
94 The dash prototype: Logic overhead and performance - Lenoski, Laudon et al. - 1993
89 The Muse or-parallel Prolog Model and its Performance (context) - Ali, Karlsson - 1990
63 Parallel Logic Programming in PARLOG (context) - Gregory - 1987
42 Efficient Model Checking using tabled resolution - Ramakrishna, Ramakrishnan et al. - 1997
38 High-Performance Logic Programming with the Aquarius Prolog .. (context) - Van Roy, Despain - 1992
37 ACE: A High Performance Parallel Prolog System - Gupta, Pontelli et al. - 1994
31 Swedish Institute of Computer Science (context) - Carlsson, Widen et al. - 1997
25 Performance Analysis of the Aurora Or-parallel Prolog System (context) - Szeredi - 1989
18 The Andorra-I Engine: A parallel implementation of the Basic.. (context) - Yang, Costa et al. - 1991
18 Programming with Constraints (context) - Marriot, Stuckey - 1998
18 Algorithms for categorizing multiprocessor communication und.. - Bianchini, Kontothanassis - 1995
15 Programmer's Manual (context) - Heintze, Jaffar et al. - 1992
14 A sequential abstract machine for flat concurrent Prolog (context) - Houri, Shapiro - 1989
9 A Comparison of Implicit and Explicit Parallel Programming - Freeh - 1996
8 Department of Computer Science (context) - Sagonas, Swift et al. - 1998
7 Fast Search Algorithms for the N-Queens Problem - Sosic, Gu - 1991
7 SB-Prolog System (context) - Debray - 1988
7 Two Problems -- Two Solutions: One System -- ECLiPSe - Wallace, Veron - 1993
4 Programming Systems Lab (context) - Smolka, primer - 1995
2 logic-programming (context) - Applications, www
1 DCC-FC Universidade do Porto (context) - Damas, Costa et al. - 1998
1 Weightless implementations of weighted neural networks (context) - Ferreira, Franca - 1997
1 Mac Graw Hill (context) - Appleby, Paradigm - 1991
1 A Minimum Extension of the WAM for clp (context) - Diaz, Codognet - 1993
Documents on the same site (http://www.cos.ufrj.br/~ines/publ.html): More
Performance of the Compiler-based Andorra-I System - Yang, Beaumont, Dutra.. (1993) (Correct)
VisAll: A new Tool to Visualise Parallel Execution of Logic .. - Fonseca, Costa, Dutra (Correct)
Parallelism in Logic Programming - Geyer, Vargas, Dutra (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC