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:6b2d7eef9845c4bb8ef0779fe0eb8d74cd8e74b0
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.12829e3af58dc021ce15f8ac14cc6548aa2fcd6354https://github.com/edisonm/clpcd.git
6b2d7eef9845c4bb8ef0779fe0eb8d74cd8e74b06https://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.