Dylan

CHR - Constraint Handling Rules CHR - Constraint Handling Rules- Home page of the CHR hosted constraint logic programming language. CHR is a toolkit for in effect building constraint solvers. It is most commonly… CCL II: Construction of Computational Logics II CCL II: Construction of Computational Logics II- Working group (22457: CCL II) in the ESPRIT Basic Research program of European Union, successor project of working group CCL I: pe… ECLiPSe: The ECRC Constraint Logic Parallel System ECLiPSe: The ECRC Constraint Logic Parallel System- Compiler-oriented development environment for constraint-logic applications with extended Prolog technology, persistent knowled… CLP(R) Programmer's Manual CLP(R) Programmer's Manual- Version 1.2 by Heintze, Jaffar, Michaylov, Stuckey and Yap (IBM Watson Research Center, 1992) in PDF. OPBDP 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… CLP(R) Compiler CLP(R) Compiler- Description and contact for runtime, compiler (byte-code), constraint solver; free for academic and research use. ResearchIndex: Hierarchical Constraint Logic Programming 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… clp(Q,R) 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 re… Constraint Logic Programming: CLP Constraint Logic Programming: CLP- Technical reports on CLP at the Austrian Research Institute for Artificial Intelligence (ÖFAI) of the Austrian Society for Cybernetics. Elf Meta-Language Elf Meta-Language- Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming… Why Can't Humans Talk to a Computer? Why Can't Humans Talk to a Computer?- The technical problems are answered by non-procedural logical constraint-based languages like Prolog. FormulaOne FormulaOne- Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 2000/XP/Vista/W… Echidna Echidna- Constraint logic programming language that includes ideas from object-oriented programming and intelligent backtracking. Constraints include finite domain constraints (as… Nicolog Nicolog- 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 … A Comparative Study of Eight Constraint Programming Languages A Comparative Study of Eight Constraint Programming Languages- Compares efficiency of 8 Constraint Logic Programming (CLP) systems in the setting of finite domains, and a specific… JICSLP'96 Workshop on Parallelism and Implementation Technology JICSLP'96 Workshop on Parallelism and Implementation Technology- Post-JICSLP'96 Workshop and 1996 Compulog Net Area Meeting on Parallelism and Implementation Technology for (Const… DFKI: MAS Publications: Multi-Agent Systems DFKI: MAS Publications: Multi-Agent Systems- Abstract and PostScript version of 'Multi-Agent Planning Using an Abductive Event Calculus' in which a planning service module is inco… MTV: Bob Dylan MTV: Bob Dylan- Includes discography, tour dates, biography, influences, and news. Biography.com: Bob Dylan Biography.com: Bob Dylan- Features a biography. IMDb: Bob Dylan IMDb: Bob Dylan- Filmography and biography. Rock and Roll Hall of Fame: Bob Dylan Rock and Roll Hall of Fame: Bob Dylan- Inductee biography. RollingStone.com: Bob Dylan RollingStone.com: Bob Dylan- Includes a biography, discography, photos, articles, links and message board. Twenty Pounds of Headlines Twenty Pounds of Headlines- Bibliography of magazine and journal articles. PBS - American Masters: Bob Dylan PBS - American Masters: Bob Dylan- Accompanying site for Martin Scorcese's film biography "No Direction Home" includes additional footage, timeline, Scorcese interview, influences… Film Dialogue in the Lyrics of Bob Dylan Film Dialogue in the Lyrics of Bob Dylan- Compilation of the references to particular films and fragments of film dialogue which are scattered throughout the lyrics of the artist. Bob Dylan News: Topix Bob Dylan News: Topix- News about Bob Dylan continually updated from around the net. BBC Music - Bob Dylan Season on the BBC BBC Music - Bob Dylan Season on the BBC- An in-depth guide to Bob Dylan on the BBC, featuring profiles and biographies, timeline, video and pictures, competitions and reviews. The Unofficial Bob Dylan Free Tape Library The Unofficial Bob Dylan Free Tape Library- Bootleg dubbing service. The Bridge The Bridge- Subscription information and articles from the UK based magazine. Bob Dylan Isis Magazine Bob Dylan Isis Magazine- Established since 1985, ISIS is now the longest running Bob Dylan magazine still in print. Aiming to provide Dylan enthusiasts with an up-to-date informat…