A Constraint Satisfaction Approach to Tractable Theory Induction John Ahlgren and Shiu Yin Yuen City University of Hong Kong, Hong Kong, China [removed]

Source URL: lion.disi.unitn.it

• Constraint programming
• Logic in computer science
• Logic programming
• Programming paradigms
• Constraint logic programming
• Constraint satisfaction
• Boolean satisfiability problem
• Horn clause
• Prolog
• Theoretical computer science
• Declarative programming
• Software engineering

Règlement intérieur Objectifs de l’école L’école est ouverte à tous, enfants à partir de 4 ans, adolescents, adultes, personnes souffrant d’handicap (fiche déclarative de santé à compléter le cas échéan

Source URL: www.saint-renan.fr

Règlement intérieur Objectifs de l’école L’école est ouverte à tous, enfants à partir de 4 ans, adolescents, adultes, personnes souffrant d’handicap (fiche déclarative de santé à compléter le cas échéan

Source URL: www.saint-renan.com

Declarative Programming for Modular Robots Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, Jason Campbell Abstract— Because of the timing, complexity, and

Source URL: www.cs.cmu.edu

• Predicate logic
• Logic programming
• Predicate
• ACT-R
• Loadable kernel module
• Mereology
• International Space Station
• Claytronics
• Spaceflight
• Logic
• Mathematical logic

Coq — Recent History SIGPLAN Programming Language Software Award POPL 2014 — San Diego, USA January 23rd 2014

Source URL: mattam.org

• Coq
• Herbelin
• Coenzyme Q10
• Gérard Huet
• SIGPLAN
• Type class
• Chemistry
• Declarative programming
• Software engineering

The Typeclassopedia by Brent Yorgey [removed] The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings. Becoming a fluent Haskell hacker requires in

Source URL: www.haskell.org

• Computing
• Data types
• Adjoint functors
• Type theory
• Monad
• Map
• Option type
• Functor
• Natural transformation
• Declarative programming
• Software engineering
• Functional programming

Towards a Declarative Web Master of Science thesis Anton Ekblad University of Gothenburg

Source URL: haste-lang.org

• Scripting languages
• Haskell
• Literate programming
• JavaScript
• Glasgow Haskell Compiler
• Yhc
• C
• JavaScript engine
• Happstack
• Software
• Computing
• Cross-platform software

JaCoP Library User’s Guide Krzysztof Kuchcinski and Radosław Szymanek Version 4.0, May 12, 2014

Source URL: jacop.osolpro.com

• Computer programming
• JaCoP
• ECLiPSe
• Constraint satisfaction
• Constraint logic programming
• Constraint programming
• Declarative programming
• Software engineering

Declarative Task Description as a User-Interface Structuring Mechanism

Source URL: www.reidgsmith.com

• User interface techniques
• Abstraction
• Data management
• User interface
• Programming language theory
• Prolog
• Human–computer interaction
• Loadable kernel module
• Computing
• Programming paradigms
• Software engineering