Search Results - "Constraint logic programming systems"

Foundational issues in implementing constraint logic programming systems

Authors: James H. Andrews

Source: Lecture Notes in Computer Science ISBN: 9783540578802

Subject Terms: 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Software

Access URL: https://link.springer.com/content/pdf/10.1007%2F3-540-57880-3_5.pdf
https://dblp.uni-trier.de/db/conf/esop/esop94.html#Andrews94
https://www.sciencedirect.com/science/article/pii/0167642395000119
https://link.springer.com/content/pdf/10.1007%2F3-540-57880-3_5.pdf
https://www.sciencedirect.com/science/article/abs/pii/0167642395000119
https://link.springer.com/chapter/10.1007/3-540-57880-3_5
https://rd.springer.com/chapter/10.1007/3-540-57880-3_5

Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011

Authors: Abreu, Salvador Costa, Vitor Santos

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, D.1.6, D.3, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/1112.4993

Constraint Logic Programming Systems. / 制約論理プログラミングシステム

Authors: Akira Aiba 相場 亮

Source: コンピュータ ソフトウェア / Computer Software. 1992, 9(6):6-461

Design and Implementation of Practical Constraint Logic Programming Systems

Authors: CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE Michaylov, Spiro

Source: DTIC AND NTIS

Index Terms: Computer Programming and Software, COMPUTER LOGIC, COMPUTER PROGRAMMING, RULE BASED SYSTEMS, REQUIREMENTS, ABSTRACTS, CASE STUDIES, MACHINES, NUMBERS, COMPILERS, APPROACH, REAL NUMBERS, INTERPRETERS, LOGIC, POWER, LANGUAGE, COSTS, EFFICIENCY, PROGRAMMING LANGUAGES, METHODOLOGY, LOGIC PROGRAMMING, Text

URL: https://apps.dtic.mil/docs/citations/ADA256191

Colloquium on Implementation of Constraint LOgic Programming Systems

Authors: The Seattle Sheraton Hotel H-f. Guo et al.

Contributors: The Seattle Sheraton Hotel H-f. Guo et al.

Source: http://www.easychair.org/FLoC-06/CICLOPS-preproceedings.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.2366

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.2366
http://www.easychair.org/FLoC-06/CICLOPS-preproceedings.pdf

CHR++: An efficient CHR system in C++ with don’t know non-determinism

Authors: Barichard, Vincent BARICHARD, Vincent

Contributors: Barichard, Vincent BARICHARD, Vincent

Source: Expert Systems with Applications. 238:121810

Subject Terms: Constraint processing, Constraint handling rules, Domain specific languages, [INFO] Computer Science [cs], Constraint handling rules with disjunction, C++, Constraint logic programming systems

Παράλληλα συστήματα λογικού προγραμματισμού με υποστήριξη περιορισμών ; Parallel constraint logic programming systems

Authors: Σακελλαρίου, Ηλίας Sakellariou, Ilias

Subject Terms: Λογικός προγραμματισμός, Κατανεμημένοι αλγόριθμοι διήθησης τιμών, Logic programming, Distributed filtering algorithms, PROLOG, Φυσικές Επιστήμες, Επιστήμη Ηλεκτρονικών Υπολογιστών και Πληροφορική, Natural Sciences, Computer and Information Sciences

Relation: https://hdl.handle.net/10442/hedi/30252

Availability: https://hdl.handle.net/10442/hedi/30252
https://doi.org/10.12681/eadd/30252

Design and Implementation of Practical Constraint Logic Programming Systems

Authors: Michaylov, Spiro CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Contributors: Michaylov, Spiro CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Source: DTIC AND NTIS

Subject Terms: Computer Programming and Software, COMPUTER LOGIC, COMPUTER PROGRAMMING, RULE BASED SYSTEMS, REQUIREMENTS, ABSTRACTS, CASE STUDIES, MACHINES, NUMBERS, COMPILERS, APPROACH, REAL NUMBERS, INTERPRETERS, LOGIC, POWER, LANGUAGE, COSTS, EFFICIENCY, PROGRAMMING LANGUAGES, METHODOLOGY, LOGIC PROGRAMMING

File Description: text/html

Relation: http://www.dtic.mil/docs/citations/ADA256191

Availability: http://www.dtic.mil/docs/citations/ADA256191
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA256191

Attributed Variables in XSB

Authors: David S. Warren Baoqiu Cui

Source: Electronic Notes in Theoretical Computer Science. 30:67-80

Subject Terms: Constraint Logic Programming Systems, 0202 electrical engineering, electronic engineering, information engineering, Tabling, 0102 computer and information sciences, 02 engineering and technology, XSB, 01 natural sciences, Attributed Variables, Theoretical Computer Science, Computer Science(all)

Access URL: https://www.sciencedirect.com/science/article/abs/pii/S1571066105801094
https://dblp.uni-trier.de/db/journals/tcs/entcs30.html#CuiW99
https://www.sciencedirect.com/science/article/pii/S1571066105801094

Negation and Constraint Logic Programming: Negation and constraint logic programming

Authors: Peter J. Stuckey

Source: Information and Computation. 118:12-33

Subject Terms: Computational Theory and Mathematics, constraint logic programming systems, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences, constructive negation, Theoretical Computer Science, Information Systems, Computer Science Applications

File Description: application/xml

Access URL: https://www.sciencedirect.com/science/article/abs/pii/S0890540185710486
https://dblp.uni-trier.de/db/journals/iandc/iandc118.html#Stuckey95
https://www.sciencedirect.com/science/article/pii/S0890540185710486
https://core.ac.uk/display/22613748
https://research.monash.edu/en/publications/negation-and-constraint-logic-programming

When tabling does not work

Authors: Tronçon, Remko Demoen, Bart Janssens, Gerda et al.

Contributors: Tronçon, Remko Demoen, Bart Janssens, Gerda et al.

Source: CICLOPS 2006: Colloquium on Implementation of Constraint Logic Programming Systems, (18-31) ; 6th International Colloquium on Implementation of Constraint Logic Programming Systems, Seattle, WA, 21 August 2006

File Description: application/pdf

Relation: https://lirias.kuleuven.be/handle/123456789/132535

Availability: https://lirias.kuleuven.be/handle/123456789/132535
https://lirias.kuleuven.be/retrieve/e853464d-7152-49f7-a8bc-b523ae3d36e1

Towards region-based memory management for Mercury programs

Authors: Phan, Quan Janssens, Gerda Guo, H-F. et al.

Contributors: Phan, Quan Janssens, Gerda Guo, H-F. et al.

Source: CICLOPS 2006: Colloquium on Implementation of Constraint Logic Programming Systems, (47-62) ; 6th International Colloquium on Implementation of Constraint Logic Programming Systems, Seattle, WA, USA, 21 August 2006

File Description: application/pdf

Relation: https://lirias.kuleuven.be/handle/123456789/132537

Availability: https://lirias.kuleuven.be/handle/123456789/132537
https://lirias.kuleuven.be/retrieve/f52117fc-2e27-4839-a417-a144b03f76d1

Decomposition and Preprocessing of Ternary Constraint Networks

Authors: Talbot, Pierre

Subject Terms: Symbolic Computation

Relation: http://arxiv.org/abs/2511.11872

Availability: http://arxiv.org/abs/2511.11872

Modelling discrete optimisation problems in constraint logic programming.

Authors: Barth, Peter Bockmayr, Alexander

Source: Annals of Operations Research; 1998, Vol. 81 Issue 1-4, p467-495, 29p

Subject Terms: COMPUTATIONAL mathematics, CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMBINATORICS, MATHEMATICAL programming, OPERATIONS research

A Prolog assisted search for new simple Lie algebras.

Authors: Cushing, David Stagg, George W. Stewart, David I.

Source: Mathematics of Computation; May2024, Vol. 93 Issue 347, p1473-1495, 23p

Subject Terms: LIE algebras, CONSTRAINT programming, LOGIC programming, ALGEBRA

Information Flow Based Specification of Data Integration Problem.

Authors: Brzykcy, Grażyna

Source: Agent & Multi-Agent Systems: Technologies & Applications (9783642134791); 2010, p183-192, 10p

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Authors: Rocha, Ricardo Have, Christian Theil

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1307.8389

A Prolog Specification of Giant Number Arithmetic

Authors: Tarau, Paul

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1307.4642

Integrating Datalog and Constraint Solving

Authors: Desouter, Benoit Schrijvers, Tom

Index Terms: Computer Science - Programming Languages, Computer Science - Databases, text

URL: http://arxiv.org/abs/1307.4635

Experimenting with X10 for Parallel Constraint-Based Local Search

Authors: Munera, Danny Diaz, Daniel Abreu, Salvador

Index Terms: Computer Science - Programming Languages, text

URL: http://arxiv.org/abs/1307.4641