YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 499.999,-    Phone: +49(176)74919078
 
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Programming » Languages » Logic-based » Constraint Logic


 Categories

Oz-Mozart (8) Prolog (60)  

 Web Pages    1 - 10   of   15


Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.

http://www.cs.cmu.edu/~fp/elf.html

[more pages from this URL] 


Working group (22457: CCL II) in the ESPRIT Basic Research program of European Union, successor project of working group CCL I: people, teams, workshop and conference, summer school, bibliography, archive, annual reports, mail list, systems.

http://www.ps.uni-sb.de/ccl/

[more pages from this URL] 


 3 - CLP(R) Compiler Browse Website open in new window
Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use.

http://free-compilers.sharnoff.org/TOOL/CLP-1.html

[more pages from this URL] 


Free, logic-based constraint solver: C++ implementation of implicit enumeration algorithm for solving (non)linear 0-1 (or pseudo-Boolean) optimization problems with integer coefficients.

http://sourceforge.net/projects/opbdp/

[more pages from this URL] 


A constraint describes a relation to maintain; it states what the relationship is versus how to maintain it. In many uses (interactive graphics, planning, document formatting, decision support), one must express preferences (soft constraints), and str...

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

[more pages from this URL] 


 6 - FormulaOne Browse Website open in new window
Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 9x/NT/2000/XP.

http://www.f1compiler.com/

[more pages from this URL] 


Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific aspect of their expressiveness: that concerning reification and meta-constraints.

http://www.comp.leeds.ac.uk/hill/Papers/abstracts/8Con.html

[more pages from this URL] 


Manual, Postscript (450K) or gzipped (130K), from University of New South Wales.

http://www.cs.adfa.edu.au/~gtc/GTC/clpr.html

[more pages from this URL] 


Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics.

http://www.ofai.at/cgi-bin/tr-online?all+clp

[more pages from this URL] 


 10 - clp(Q,R) Browse Website open in new window
Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy treatment of nonlinear equations.

http://www.ofai.at/cgi-bin/tr-online?number+95-09

[more pages from this URL] 




1  2  Next »»




Olympos Beach


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact