 Task-oriented Dialogue Agent Architecture

Source URL: www.dline.info

• Programming language theory
• Stack
• Epistemology
• Information
• Prolog
• Modal logic
• Logic
• Entity-relationship model
• Software engineering

Visual Prolog 7.3 语言参考手册 (c[removed]Prolog Development Center A/S http://www.visual-prolog.com 乙丁 译

Source URL: www.visual-prolog.com

Copyright © Prolog Development Center page 1 VIP-ALC ‘06 Visual Prolog Applications & Language Conference

Source URL: www.visual-prolog.com

• Type theory
• Object-oriented programming
• Polymorphism
• Borland software
• Debuggers
• Visual Prolog
• Prolog
• Parametric polymorphism
• Logic programming
• Software engineering
• Computing
• Computer programming

www.releasing.de Textauszug (Vorwort) aus: Releasing – Kann die Seele fliegen? Ein Buch von Andrea Köster PROLOG VON MARKUS LANGHOLF (Diplom Kulturpädagoge, RELEASING-Autor, -Lehrer und –Ausbilder seit 1985 und Mit

Source URL: www.releasing.de

1 2 Implementing Semantic Theories

Source URL: homepages.cwi.nl

• Programming paradigms
• Literate programming
• Logical consequence
• Functional languages
• Logic programming
• Unification
• Prolog
• Declarative programming
• Curry
• Software engineering
• Computing
• Computer programming

Spatiotemporal Pattern Queries Mahmoud A.Sakr #1,∗2 , Ralf H.G¨uting #1 #1

Source URL: dna.fernuni-hagen.de

• Predicate logic
• Database management systems
• Grammar
• Predicate
• Semantics
• Relational model
• Prolog
• SQL
• Query optimizer
• Logic
• Computing
• Mathematical logic

UNIVERSITY OF CALIFORNIA Department of Electrical Engineering and Computer Sciences

Source URL: www.cs.berkeley.edu

• Procedural programming languages
• C Standard Library
• Scanf format string
• C
• Iostream
• Standard streams
• Diff
• B-Prolog
• Computing
• Software
• Computer programming

Proceedings of NLULP’02 The 7th International Workshop on Natural Language Understanding and Logic Programming Edited by

Source URL: www.cs.haifa.ac.il

• Logic programming
• Formal languages
• Prolog
• International Conference on Logic Programming
• Federated Logic Conference
• Logic
• Formal grammar
• Computer science
• Software engineering
• Computing

PROLOG Dvadeset sedmog maja[removed]jedan bombarder britanskog ratnog vazduhoplovstva tipa "halifaks" uzleteo je u sumrak sa aerodroma kod Derne u severnoj Africi. U avionu su se nalazila dvojica britanskih oficira i čet

Source URL: www.znaci.net

PostScript Printer Driver Optimization Case Study

Source URL: partners.adobe.com

• Digital typography
• Computer printing
• Digital press
• PostScript
• Technical communication
• LaserWriter
• Prolog
• Computing
• Printing
• Programming language theory