Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Computers / Programming / Languages / Logic-based / Constraint_Logic /

Why Can't Humans Talk to a Computer? The technical problems are answered by non-procedural logical constraint-based languages like Prolog. http://www.nyu.edu/pages/linguistics/ling.html Nyu.edu  ~   Site Info   Whois   Trace Route   RBL Check   Elf Meta-Language 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 Cmu.edu  ~   Site Info   Whois   Trace Route   RBL Check   Constraint Logic Programming: CLP 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 Ofai.at  ~   Site Info   Whois   Trace Route   RBL Check   clp(Q,R) 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 Ofai.at  ~   Site Info   Whois   Trace Route   RBL Check   OPBDP 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://www.mpi-inf.mpg.de/departments/d2/software/opbdp/ Mpg.de  ~   Site Info   Whois   Trace Route   RBL Check   ResearchIndex: Hierarchical Constraint Logic Programming 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 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.9692 Psu.edu  ~   Site Info   Whois   Trace Route   RBL Check