Seven Languages in Seven Weeks

Source URL: media.pragprog.com

• Constraint programming
• Prolog
• Inference
• Logic programming
• Object-oriented programming
• Definite clause grammar
• B-Prolog
• Software engineering
• Computing
• Computer programming

Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam

Source URL: people.csail.mit.edu

• Computing
• Boolean algebra
• Diagrams
• Binary decision diagram
• Model checking
• Database theory
• Datalog
• Relational algebra
• Prolog
• Mathematics
• Data management
• Relational model

A new type for tactics A new type for tactics

Source URL: matita.cs.unibo.it

• Automated theorem proving
• Proof assistant
• ML
• Mathematical proof
• Matita
• Isabelle
• Prolog
• Theorem
• Stack
• Logic
• Mathematics
• Programming language theory

Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems  Gopal Gupta & Enrico Pontelli

Source URL: ipdps.cc.gatech.edu

• Parallel computing
• Programming paradigms
• Compiler optimizations
• Prolog
• Logic programming
• Data parallelism
• Automatic parallelization
• Algorithm
• Task parallelism
• Computing
• Software engineering
• Computer programming

Kaleidoscope: A Constraint Imperative Programming Language Gus Lopez, Bjorn Freeman-Benson, and Alan Borning

Source URL: www.cs.washington.edu

• Computer programming
• Constraint logic programming
• Kaleidoscope
• Constraint satisfaction problem
• Constraint
• Constructor
• Prolog
• E
• Logic programming
• Constraint programming
• Declarative programming
• Software engineering

Dezmond Dez: Vrlornigs Paradies Infos Dezmond Dez (Cyril Bucher)

Source URL: www.prolog-music.ch

Negation and Negative Information in the W3C Resource Description Framework Anastasia Analyti1 , Grigoris Antoniou1,2 ,

Source URL: www.ics.forth.gr

• Non-classical logic
• Reasoning
• Propositional calculus
• Stable model semantics
• Negation
• Closed world assumption
• Paraconsistent logic
• Non-monotonic logic
• Prolog
• Logic
• Mathematical logic
• Logic programming

Úvodem // 9 Prolog[removed]: Boj o Občanské fórum // 17

Source URL: toc.nkp.cz

SCHOLAR Study Guide SQA Advanced Higher Computing

Source URL: www.torry.aberdeen.sch.uk

• Computing
• Computer programming
• Knowledge representation and reasoning
• Reasoning
• Scientific modeling
• Prolog
• Logic programming
• Expert system
• Combinatorics
• Programming paradigms
• Software engineering
• Artificial intelligence

Constraint Programming in AIMMS

Source URL: www.aimms.com

• Mathematical optimization
• Computer algebra systems
• Mathematical software
• Mathematical modeling
• Constraint programming
• AIMMS
• AMPL
• Prolog
• Decomposition method
• Operations research
• Computing
• Software engineering