From Logic Programming 22 July 99-AMAI

Source URL: www.doc.ic.ac.uk

• Declarative programming
• Constraint programming
• Reasoning
• Charles Sanders Peirce
• Epistemology
• Abductive logic programming
• Constraint logic programming
• Schedule
• Prolog
• Logic programming
• Software engineering
• Science

E. Bibliography [1] Abelson, Harold, and Sussman, Gerald Jay, Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press, 1985.

Source URL: www.erights.org

• Year of birth missing
• Actor model
• Concurrent computing
• Logic programming
• Prolog
• Barbara Jane Liskov
• Programming language
• Indeterminacy in concurrent computation
• Keith Clark
• Computing
• Software engineering
• Computer programming

Obsah Předmluva 1 Prolog 4

Source URL: studierpg.unas.cz

JavaDD: a Declarative Debugger for Java Hani Z. Girgis Bharat Jayaraman Department of Computer Science and Engineering

Source URL: www.cse.buffalo.edu

• Cross-platform software
• Debugging
• Prolog
• Java
• SQL
• Pointer
• Exception handling
• Objective-C
• Microsoft Visual Studio
• Computing
• Computer programming
• Software engineering

Ergebnisliste Prolog DS Datum: Bedingungen: Strecke: Plat

Source URL: www.lkslovan.cz

Using Prolog as the fundament for applications on the semantic web Jan Wielemaker1 , Michiel Hildebrand2 , and Jacco van Ossenbruggen2 1 2

Source URL: sunsite.informatik.rwth-aachen.de

• Data management
• RDF
• Web services
• Prolog
• Metadata
• RDF Schema
• Triplestore
• Named graph
• Inference
• Computing
• Semantic Web
• Software engineering

VIII. Schlußbemerkungen: Die jüngste Vergangenheit als Prolog? Alle Blicke richteten sich auf die USA, als sich das Wachstum in der weltweit größten und pulsierendsten Volkswirtschaft im zweiten Halbjahr 2000 abrupt

Source URL: www.bis.org

Towards overcoming the knowledge acquisition bottleneck in Answer Set Prolog applications: embracing natural language inputs Chitta Baral, Juraj Dzifcak and Luis Tari School of Computing and Informatics Arizona State Uni

Source URL: www.public.asu.edu

• NP
• Syntax
• P
• Categorial grammar
• P versus NP problem
• Combinatory categorial grammar
• Theoretical computer science
• Complexity classes
• Applied mathematics

Rule-Based Interactive Fiction (Full Presentation) Chris R. Martens Zachary A. Sparks Claire E. Alvis

Source URL: www.cs.cmu.edu

• Non-classical logic
• Logic programming
• Reasoning
• Proof theory
• Logic in computer science
• Prolog
• Defeasible logic
• Curry–Howard correspondence
• Inference
• Logic
• Mathematics
• Mathematical logic

194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications

Source URL: www.ida.liu.se

• Computing
• Programming language semantics
• Formal methods
• Denotational semantics
• Operational semantics
• Semantics of programming languages
• Programming language
• Prolog
• Compiler-compiler
• Theoretical computer science
• Software engineering
• Logic in computer science