Results 361 to 370 of about 119,051 (375)
Some of the next articles are maybe not open access.
Extending CLP with Metaheuristics
2003Modern Constraint Logic Programming (CLP) systems have a number of approved features like their declarative programming language, the incorporation of sophisticated search space pruning and propagation algorithms as well as deterministic complete search algorithms.
openaire +2 more sources
Short overview of the CLPS system
1991We propose an extension of Prolog to deal with set expressions using equality and membership operators and allowing restricted universal quantifiers in goals. Such extension allows a better expressive power, in particular when the language is used for a functional specification purpose. Those set expressions are treated as symbolic constraints and some
Bruno Legeard, Emmanuel Legros
openaire +2 more sources
ClP-Unterstützung durch Hochschulrechenzentren
1992Die Uberschrift fur diesen Vortrag ist bewufit ohne Fragezeichen formuliert. Im folgenden werden die Grunde hierfur angegeben.
Jochen W. Münch, Wilhelm Held
openaire +2 more sources
Fuzzing the Rust Typechecker Using CLP (T)
International Conference on Automated Software Engineering, 2015Kyle Dewey, Jared Roesch, Ben Hardekopf
semanticscholar +1 more source
Proving the Equivalence of CLP Programs
2002This paper presents two proof systems for the equivalence of programs. The language concerned is CLP to which the universal quantifier isa dded (CLP?). Both systems are based on first order classical logic.The first uses an induction rule and allows one to prove that the set of finite successes of a program is included in another program's ...
openaire +2 more sources
HSP100/Clp proteins: a common mechanism explains diverse functions.
TIBS -Trends in Biochemical Sciences. Regular ed, 1996E. C. Schirmer +3 more
semanticscholar +1 more source