Constraint Handling Rules for SWI-Prolog Tom Schrijvers?1 , Jan Wielemaker2 , and Bart Demoen1 1 2

Source URL: www.swi-prolog.org

• Computing
• Constraint Handling Rules
• Prolog
• Logic programming
• Constraint logic programming
• XSB
• CLP
• ECLiPSe
• Logtalk
• Software engineering
• Constraint programming
• Computer programming

An Overview of the SWI-Prolog Programming Environment Jan Wielemaker Social Science Informatics (SWI), University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands,

Source URL: www.swi-prolog.org

• Constraint programming
• Prolog
• Integrated development environments
• Emacs
• Genera
• Read–eval–print loop
• Logtalk
• Jekejeke Prolog
• Software
• Computing
• Computer programming

Thesaurus-based search in large heterogeneous collections Jan Wielemaker1 , Michiel Hildebrand2 , Jacco van Ossenbruggen2 , and Guus Schreiber3 1

Source URL: www.swi-prolog.org

• World Wide Web
• Simple Knowledge Organization System
• SPARQL
• RDF Schema
• Triplestore
• Semantic search
• RDF query language
• Resource
• FOAF
• Semantic Web
• Computing
• Data management

Banshee: A Scalable Constraint-Based Analysis Toolkit? John Kodumal1 and Alex Aiken2 1 2

Source URL: theory.stanford.edu

• Computing
• Constraint satisfaction problem
• Backtracking
• Constraint graph
• Prolog
• Constraint
• Type system
• Constraint satisfaction
• Constraint logic programming
• Constraint programming
• Software engineering
• Computer programming

An optimised Semantic Web query language implementation in Prolog Jan Wielemaker Human Computer Studies (HCS), University of Amsterdam, Kruislaan 419, 1098 VA Amsterdam, The Netherlands,

Source URL: www.swi-prolog.org

• Information
• RDF
• RDF Schema
• Prolog
• Triplestore
• Semantic reasoner
• Clause
• Query language
• Resource
• Semantic Web
• Computing
• Data management

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

Source URL: www.swi-prolog.org

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

1 The EXTREM COMPILING Pattern Language The Construction of Compiler Back-Ends by Stepwise Transformation of Virtual Machines J.García-Martín M.Sutil-Martín Universidad Politécnica de Madrid

Source URL: www.hillside.net

• Compiler construction
• Programming language implementation
• Cross-platform software
• Logic programming
• Warren Abstract Machine
• Prolog
• Java virtual machine
• Compiler
• Intermediate language
• Computing
• Software
• Virtual machines

Learn Prolog Now! Patrick Blackburn Johan Bos Kristina Striegnitz ­

Source URL: www.dbnet.ece.ntua.gr

• Prolog
• Definite clause grammar
• Logic programming
• Inference
• Negation as failure
• Append
• Fril
• Prolog syntax and semantics
• Software engineering
• Computing
• Computer programming

SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands,

Source URL: www.swi-prolog.org

• Constraint programming
• Formal languages
• Prolog
• Logic programming
• Logtalk
• Definite clause grammar
• ECLiPSe
• Unification
• String
• Software engineering
• Computing
• Computer programming

Obsah Předmluva 1 Prolog 4

Source URL: studierpg.jakubholy.net