Tabling for Transaction Logic ∗ Paul Fodor Michael Kifer State University of New York at Stony Brook,Stony Brook, NY 11794, USA

Source URL: silk.semwebcentral.org

• Model theory
• Transaction logic
• B-Prolog
• Prolog
• First-order logic
• Datalog
• Interpretation
• Function
• Modal logic
• Logic
• Mathematical logic
• Mathematics

Intro to the 3apl interpreter Daan Leijen , http://www.cs.uu.nl/~daan September 23,

Source URL: www.cs.uu.nl

• Multi-agent systems
• Prolog
• 3APL
• Prova
• Computing
• Software engineering
• Programming language theory

Architectures for Cooperating Constraint Solvers Alan Borning This material is based upon work supported in part by the National Science Foundation under

Source URL: www.vpri.org

• Software engineering
• Constraint satisfaction
• Constraint logic programming
• Cassowary
• Satisfiability Modulo Theories
• Constraint graph
• Solver
• Prolog
• ECLiPSe
• Constraint programming
• Declarative programming
• Theoretical computer science

Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo

Source URL: www.andrew.cmu.edu

• Datalog
• Logic programming
• Prolog
• Algorithm
• Formal methods
• Software engineering
• Computing
• Programming language theory

Microsoft Word - 10-Prolog.doc

Source URL: www.cs.umanitoba.ca

• Constraint programming
• Prolog
• ECLiPSe
• Plug-in
• Integrated development environments
• Object-oriented programming
• Software engineering
• Computing
• Computer programming

Papers & Publications Igor Wojnicki November 3, [removed]Hierarchical Rule Design with HaDEs the HeKatE Toolchain. G.J. NALEPA, I. WOJNICKI. 3rd International Symposium on Advances in Artificial Intelligence and Applicati

Source URL: home.agh.edu.pl

• Prolog
• Logic programming
• INSTICC
• Expert system
• Computer programming
• Software engineering
• Computing
• Artificial intelligence

B. Lazzerini "Ingegneria della Conoscenza e Sistemi Esperti" Il Prolog è un linguaggio dichiarativo Programmare in Prolog significa:

Source URL: spazioinwind.libero.it

Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨

Source URL: www.complang.tuwien.ac.at

• Prolog
• Functional languages
• Procedural programming languages
• Higher-order functions
• Recursion
• Assertion
• Logic programming
• XS
• ML
• Software engineering
• Computer programming
• Computing

Seven Languages in Seven Weeks

Source URL: media.pragprog.com

• Functional languages
• Erlang
• Concurrent computing
• Object-oriented programming
• Programming language
• Prolog
• Read–eval–print loop
• Lisp
• Oz
• Computing
• Software engineering
• Computer programming

Kristina Striegnitz (Version[removed]Union College Computer Science Department Schenectady, NY 12308

Source URL: cs.union.edu

• Semantics
• Natural language processing
• Prolog
• Computational semantics
• Knowledge
• Natural language generation
• Justine Cassell
• Computational linguistics
• Science
• Linguistics