A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

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

• Prolog
• XSB
• Logic programming
• Logic
• Continuation
• Scheme
• Software engineering
• Programming language theory
• Computer programming

Spécification adressage Prolog new V2

Source URL: www.zeitungsdruck.ch

Ausschreibung Prolog Unser Hauptanliegen ist es, diesem wunderschönen Spiel auch im Westerwald ein überregionales Forum zu bieten. Zudem erhalten die Mitspielenden die Möglichkeit, in einer ansprechenden Atmosphäre i

Source URL: www.scrabble-deutschland.de

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

Source URL: 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

Kultusministerium Konzept für den künftigen Einsatz von pädagogischen Mitarbeiterinnen und Mitarbei¬ tern an den Schulen Sachsen-Anhalts (StandGliederung Prolog

Source URL: www.bildung.sachsen-anhalt.de

Semi-Automatic Design and Prototyping of Adaptive User Interfaces F. Mario Martins Universidade do Minho Dept. de Informatica/INESC Campus de Gualtar

Source URL: ui4all.ics.forth.gr

• User interface techniques
• Graphical user interfaces
• Software
• Technical communication
• User interface
• Virtual reality
• Adaptation
• Prolog
• Adaptive user interface
• Human–computer interaction
• Computing
• Software engineering

Microsoft PowerPoint - 2010_fodor_ppdp.pptx

Source URL: silk.semwebcentral.org

• Philosophy of language
• Philosophy of mind
• Semantics
• Prolog
• Constructible universe
• Metaphilosophy
• Philosophy
• Model theory
• Logic
• Interpretation

InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems Timothy Roscoe Intel Research – Berkeley Richard Mortier Microsoft Research – Cambridge

Source URL: www.planet-lab.org

• Reasoning
• Prolog
• Domain name system
• Nmap
• Knowledge representation and reasoning
• Peer-to-peer
• Microsoft SQL Server
• Logic programming
• Port scanner
• Computing
• Software
• Programming paradigms

SWAT4LS 2014 Tutorial Introduction to Rule Technologies and Systems 9-11 Dec., Berlin, Germany Prof. Dr. Adrian Paschke and Ralph Schäfermeier Arbeitsgruppe Corporate Semantic Web (AG-CSW) Institut für Informatik, Frei

Source URL: www.swat4ls.org

• Computing
• Semantic Web
• Programming paradigms
• Logic programming
• Knowledge representation
• Prolog
• Datalog
• Prova
• Knowledge representation and reasoning
• Logic
• Science
• Reasoning

Sophia: An Information Plane for Networked Systems Mike Wawrzoniak Princeton University Larry Peterson Princeton University

Source URL: www.planet-lab.org

• Automated theorem proving
• Programming paradigms
• Actor model
• PlanetLab
• Software testing
• Prolog
• Eval
• Logic programming
• Futures and promises
• Computing
• Software engineering
• Computer programming