OBSAH prolog _ KB [18] úvod _ MH, MS [22]

Source URL: www.kulturanahrade.cz

A Second Look At Prolog Chapter Twenty Modern Programming Languages, 2nd ed.

Source URL: www.webber-labs.com

facultad de inform´ atica universidad polit´ecnica de madrid Automatic Coding Rule Conformance Checking Using Logic Programming

Source URL: clip.dia.fi.upm.es

• C programming language
• MISRA C
• Prolog
• C
• Type system
• Computing
• Programming language theory
• Software engineering

TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents

Source URL: www.ntg.nl

• Programming language theory
• Compiler construction
• Prolog
• Computational linguistics
• Logic
• Parsing
• Formal sciences
• Software engineering
• Science

Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming

Source URL: www.cs.bath.ac.uk

• Computing
• Answer set programming
• Stable model semantics
• Prolog
• DLV
• Constraint satisfaction
• Logic programming
• Software engineering
• Computer programming

ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1

Source URL: clip.dia.fi.upm.es

• Constraint programming
• Logic programming
• Programming paradigms
• Actor model
• Prolog
• Constraint logic programming
• Unification
• Variable
• Free variables and bound variables
• Software engineering
• Computing
• Computer programming

Metaterms with Several Attributes Pascal Brisset ECRC Arabellastrae 17, DMunich 81, Germany

Source URL: eclipseclp.org

• Programming paradigms
• Prolog
• Attribute grammar
• Attribute
• Variable and attribute
• Software engineering
• Computing
• Programming language theory

Vehicle Routing and Logistics Optimization 2015 The fourth meeting of the EURO Working Group on Vehicle Routing and Logistics Optimization - VeRoLog Vienna, Austria, June 8-10 http://verolog2015.univie.ac.at/ The fourth

Source URL: prolog.univie.ac.at

• Management
• Supply chain
• Supply chain management
• Logistics
• Mathematical optimization
• Business
• Technology
• Operations research

Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences

Source URL: www.cs.berkeley.edu

• Declarative programming
• Satisfiability Modulo Theories
• Type system
• Prolog
• Symbolic execution
• Linear programming
• Theoretical computer science
• Software engineering
• Constraint programming

Sommerhøjskole Drejebog Sommerhøjskole og Sommerskole Prolog

Source URL: uddannelseslaboratoriet.dk