Implementing Finite-Domain Constraint Logic Programming on Top of a PROLOG-system With Delay-Mechanism

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-52592-0_58
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

Implementing Constraint Solvers in B-Prolog

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2002English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Tree Drawing Using Constraint Logic Programming

1997English

Functional Test Generation Using Constraint Logic Programming

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2002English

An Active-Constraint Logic for Non-Linear Programming

Optimal Control Applications and Methods
ControlSystems EngineeringApplied MathematicsOptimizationSoftware
1984English

PROLogic: A FUZZY TEMPORAL CONSTRAINT PROLOG

International Journal of Applied Mathematics
Computational TheoryMathematics
2019English

Finite Model Reasoning on UML Class Diagrams via Constraint Programming

Intelligenza Artificiale
Artificial Intelligence
2013English

Experimenting With Constraint Programming on GPU

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy