Wectar - Computers - Programming - Languages - Logic-based - Constraint Logic

	submit a site to this category

Subcategories
Oz-Mozart@	Prolog@

	CLP(R) Compiler URL: http://www.idiom.com/free-compilers/TOOL/CLP-1.html ODP description: Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use. Page title: Catalog of compilers: CLP(R)
	Intelligent Systems Laboratory URL: http://www.cs.sfu.ca/research/groups/ISL/ ODP description: Research and development lab under the auspices of both the School of Computing Science, and the Centre for Systems Science. Overview, members, projects, publications and sponsors. Page title: SFU Intelligent Systems Lab Home
	FormulaOne URL: http://www.f1compiler.com/ ODP description: Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 9x/NT/2000/XP. Page title: FormulaOne Compiler
	Elf Meta-Language URL: http://www.cs.cmu.edu/~fp/elf.html ODP description: 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. Page title: The Elf Meta-Language
	OPBDP URL: http://www.mpi-inf.mpg.de/departments/d2/software/opbdp/ ODP description: 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. Page title: Max-Planck-Institut für Informatik: Software D2: OPBDP
	DFKI: MAS Publications: Multi-Agent Systems URL: http://www.dfki.de/mas/papers/ ODP description: Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is incorporated into a constraint-logic framework to gain a strong sense of non-linearity. Page title: DFKI - MAS Publications
	Nicolog URL: ftp://ftp.fas.sfu.ca/pub/css/esl/nicolog/ ODP description: Constraint logic programming language with the abilities of CLP(BNR) and most of those of cc(FD). Possibility to program directly in projection constraints makes Nicolog more flexible than many CLP systems. FTP site.
	CCL II: Construction of Computational Logics II URL: http://www.ps.uni-sb.de/ccl/ ODP description: 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. Page title: CCL II Main Page
	Why Can't Humans Talk to a Computer? URL: http://www.nyu.edu/pages/linguistics/ling.html ODP description: The technical problems are answered by non-procedural logical constraint-based languages like Prolog. Page title: Research in Natural Language Computing
	Constraint Logic Programming: CLP URL: http://www.ofai.at/cgi-bin/tr-online?all+clp ODP description: Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (Ã–FAI) of the Austrian Society for Cybernetics. Page title: OFAI
	JICSLP'96 Workshop on Parallelism and Implementation Technology URL: http://www.cs.nmsu.edu/lldap/jicslp96.html ODP description: Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages.
	Echidna URL: ftp://fas.sfu.ca/pub/css/esl/echidna/ ODP description: Constraint logic programming language that includes ideas from object-oriented programming and intelligent backtracking. Constraints include finite domain constraints (as in CHiP) and disjoint real interval domain constraints. FTP Site.
	CLP(R): Using CLP(R) URL: http://www.cs.adfa.edu.au/~gtc/GTC/clpr.html ODP description: Manual, Postscript (450K) or gzipped (130K), from University of New South Wales. Page title: Using CLP(R)
	ResearchIndex: Hierarchical Constraint Logic Programming URL: http://citeseer.ist.psu.edu/24834.html ODP description: 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 strict requirements (hard constraints). Page title: Hierarchical Constraint Logic Programming - Wilson (ResearchIndex) Page description: A constraint describes a relation to be maintained
	clp(Q,R) URL: http://www.ofai.at/cgi-bin/tr-online?number+95-09 ODP description: 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. Page title: OFAI
	A Comparative Study of Eight Constraint Programming Languages URL: http://www.comp.leeds.ac.uk/hill/Papers/abstracts/8Con.html ODP description: 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. Page title: A comparative study of eight constraint programming languages