New Developments in Artificial Intelligence and the Semantic Web

Source URL: www.stes.fi

• Cross-platform software
• Knowledge representation
• Unified Modeling Language
• Prolog
• Programming language
• Model-driven architecture
• XL
• Data model
• Model checking
• Computing
• Software engineering
• Computer programming

An A-Prolog decision support system for the Space Shuttle M. Nogueira Department of Computer Science The University of Texas at El Paso [removed]

Source URL: www.kestreltechnology.com

• Electronic design
• Electronic design automation
• Prolog
• Flight controller
• Solenoid valve
• Design
• Fluid mechanics
• Electronic engineering
• Valves
• Digital electronics

Relational Programming with CrocoPat Dirk Beyer School of Computer and Communication Sciences Ecole Polytechnique Fédérale de Lausanne CH-1015 Lausanne, Switzerland

Source URL: www.sosy-lab.org

• Database theory
• Model theory
• Relational model
• Prolog
• Database
• Function
• Relational algebra
• Transitive closure
• Algorithm
• Mathematics
• Logic
• Mathematical logic

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 31, NO. 2,

Source URL: www.sosy-lab.org

• Diagrams
• Binary decision diagram
• Boolean algebra
• Model checking
• Graph theory
• Graph
• Directed acyclic graph
• Prolog
• Binary relation
• Mathematics
• Theoretical computer science
• Relational model

Developing a Formal Semantics for Babelsberg: A Step-by-Step Approach Tim Felgentreff, Todd Millstein, and Alan Borning VPRI Technical Report TR-2014-002a

Source URL: www.vpri.org

• Computing
• Mathematical optimization
• Logic programming
• Constraint logic programming
• Programming paradigms
• Constraint
• Prolog
• Constraint satisfaction
• Constraint optimization
• Constraint programming
• Software engineering
• Computer programming

TLP 12 (6): 889–927, C Cambridge University Press 2011 ! doi:S1471068411000391

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

• Source code
• Logic programming
• Prolog
• Programming style
• Predicate
• Coding conventions
• List comprehension
• Clause
• Comment
• Computer programming
• Software engineering
• Computing

Program Interpolation A. Moss D. Page [removed]

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

• Procedural programming languages
• Programming language implementation
• Prolog
• VM
• ALGOL 68
• Algorithm
• Subroutine
• Programming language
• Assembly language
• Software engineering
• Computing
• Computer programming

Warren’s Abstract Machine A T UTORIAL R ECONSTRUCTION HASSAN A¨I T-K ACI [removed] Intelligent Software Group

Source URL: www.cvc.uab.es

• Procedural programming languages
• Models of computation
• Programming language implementation
• Prolog
• C
• Machine code
• Variable
• ALGOL 68
• Abstract machine
• Software engineering
• Computing
• Programming language theory

Extending Unification Formalisms G. Erbach M. van der Kraan S. Manandhar

Source URL: www.coli.uni-saarland.de

• Formal languages
• Computer programming
• Programming paradigms
• Constraint programming
• Lexical functional grammar
• Prolog
• Head-driven phrase structure grammar
• Formal grammar
• Parsing
• Linguistics
• Software engineering
• Generative linguistics

Switched Prolog Once upon a time there lived an elegant queen named Quinn and her fun loving daughter Cora. The two were not on the best of terms until they made a switch.

Source URL: www.bedtime.com