Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "clpcd"

Title:Constraints over continuous domains
Rating:Not rated. Create the first rating!
Latest version:0.0.1
SHA1 sum:b51f93d3b69ac0e5b81453231775bf7cb9475caf
Author:Edison Mera http://www.edisonm.com/
Maintainer:Edison Mera http://www.edisonm.com/
Packager:Edison Mera http://www.edisonm.com/
Home page:https://github.com/edisonm/clpcd
Download URL:https://github.com/edisonm/clpcd.git
Requires:assertions
xlibrary

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
0.0.12829e3af58dc021ce15f8ac14cc6548aa2fcd63512https://github.com/edisonm/clpcd.git
29258fb66a45a63cb3665f63b41bc48a9c4e5b979https://github.com/edisonm/clpcd.git
6b2d7eef9845c4bb8ef0779fe0eb8d74cd8e74b06https://github.com/edisonm/clpcd.git
6b9b2f5b0f7ac163ab86d1db23a625dd264ab0f45https://github.com/edisonm/clpcd.git
b51f93d3b69ac0e5b81453231775bf7cb9475caf1https://github.com/edisonm/clpcd.git

clpcd

Constraint logic programming over continuous domains

Based on the CLP(Q,R) package by Leslie De Koninck, K.U. Leuven, available in SWI-Prolog.

Installation

To install this package, just follow the next sequence of commands in your SWI-Prolog shell:

  $ swipl
  
  ?- pack_install('https://github.com/edisonm/clpcd.git').
  true.

Overview

The goal of this library is to make a CLP library for continuous domains like reals or rationals, that is more appropriated for calculations found in engineering applications.

Current CLP(QR) implementation work only when the system of equations are linear, although in some cases, the equations can be modified so that they become linear and make the system solvable. But also, it is not being maintained and contains several unfortunate bugs, failing even for very small examples. It also presents implementation limitations (like the linearity); probably because the prototype was designed some decades ago, when computational power was limited.

This library is focused to remove those limitations, and to incorporate solvers for well-known non-linear equations, when such systems are identified. The numeric resolution of such equations will be inspired or taken form existing frameworks like the GNU Scientific Library (GSL) or GNU Octave.

Contents of pack "clpcd"

Pack contains 42 files holding a total of 251K bytes.