ECRC/ICL. ECLiPSe, User Manual, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On Interface Objects In Object-Oriented Databases - Paton, al-Qaimari, Doan (1994) (Correct)
....of integrated interface architectures is presented in [21] 3 Architecture 3. 1 Options This section describes the architecture of a system which integrates an existing graphical component set with the OODB ADAM [15] The approach described here has been implemented in ADAM within the ECLiPSe [14] persistent Prolog system, which includes the PCE graphical component set. The approach is generally applicable, in that similar results could be obtained using different OODBs and graphical component sets. The ADAM graphical toolkit is known as EDEN, and the relationships between the major ....
ECRC/ICL. ECLiPSe, User Manual, 1992.
Over-Constrained Systems in CLP and CSP - Jampel (1996) (2 citations) (Correct)
....more interpreted domains of constraints. CLP is parameterised by the domain of discourse D over which the constraints range. Satisfiability in D of a set of constraints is tested by algorithms specialised to the domain. Many CLP languages have been implemented, including CLP(R) CHIP, and Eclipse [1, 22, 43]. There are a number of survey papers and books available [34, 42, 74, 75] Jaffar and Lassez show that for every domain D with the two properties of solution compactness and satisfaction completeness, CLP(D) has many desirable characteristics. These include the existence of equivalent declarative ....
....remaining space. This guarantees correctness (only good answers are returned) at the expense of speed. An alternative would be to display the first bound, and then only continue the search if it is not acceptable to the user. In this section we will use concrete syntax based on that of Eclipse [22] including features inspired by its Propia library. An alternative would be to use the style of Fages et al. 25] 11.4.1 Score functions The user chooses a score function in a fashion similar to setting a compiler or debugger directive: set score function(max ucb) Various score functions are ....
[Article contains additional citation context not shown here]
Munich ECRC. Eclipse 3.5 User Manual, 1995.
1983-1993: The Wonder Years of Sequential Prolog Implementation - Van Roy (1993) (1 citation) (Correct)
.... Features) first released in 1988, was a major improvement [93] Other systems are Opium [44] an extensible debugging environment, and MegaLog [15] a WAM based system with extensions to manage databases (e.g. persistence) The most recent system, ECLiPSe (ECRC Common Logic Programming System) [45, 95], integrates the facilities of SEPIA, MegaLog, CHIP, and Opium. The system supports rational tree unification and indefinite 13 Curiously, both systems are written mostly in assembly code, several hundred thousand lines worth. December 1993 Digital PRL 1983 1993: The Wonder Years of ....
ECRC. ECLiPSe 3.2 User Manual. August 1992.
A Constraint Based Structure Description Language.. - Eidhammer, Gilbert, .. (1997) (Correct)
.... ffl ECLiPSe, the ECRC Constraint Logic Parallel System, providing several libraries of constraint solvers: arithmetic constraints over finite atomic domains (CHIP compatible) finite set constraints, linear rational constraints, Propia (generalised propagation) and Constraint Handling Rules (CHR) ECR95] ffl clp(FD) from INRIA, France. This is a constraint logic programming language over finite domains, based on the wamcc Prolog compiler which translates Prolog to C via the WAM [CN95] ffl SICStus Prolog, SICS, Sweden. Incorporates constraint solvers for reals, rationals, finite domains and ....
Munich ECRC. Eclipse 3.5 User Manual, 1995.
Backtrackable Updates - Noye (Correct)
....in the context of the Constraint Logic Programming CHIP has been quite influential. As for extensible unification, the interface provided by ECLiPSe [23, 7] to date the most sophisticated, is also based on destructive assignment. Finally, in many Prolog systems (e.g. BinProlog [29] ECLiPSe [17], SICStus [14] XSB [28] the built in predicate setarg 3, which makes it possible to destructively replace the argument of a compound term, provides a degenerate form of backtrackable updating This paper reviews the (operational) semantics of backtrackable updates as well as their implementation ....
ECRC, Munich, Germany. -- ECLiPSe 3.4 - User Manual, January 1994.
On Interface Objects In Object-Oriented Databases - Paton (1994) (Correct)
....of integrated interface architectures is presented in [21] 3 Architecture 3. 1 Options This section describes the architecture of a system which integrates an existing graphical component set with the OODB ADAM [15] The approach described here has been implemented in ADAM within the ECLiPSe [14] persistent Prolog system, which includes the PCE graphical component set. The approach is generally applicable, in that similar results could be obtained using different OODBs and graphical component sets. The ADAM graphical toolkit is known as EDEN, and the relationships between the major ....
ECRC/ICL. ECLiPSe, User Manual, 1992.
Economic Modelling using Constraint Logic Programming - Nelson Donovan (Correct)
No context found.
ECRC. Eclipse 3.4 User Manual, ECRC, 1992.
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