INHALT Vorwort . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 PROLOG

Source URL: www.fibre-verlag.de

Die BDKJ-Hauptversammlung hat beschlossen: Prolog: Die europäische Einigung ist ein beispielloses Erfolgsmodell. Ausgehend von den Erlebnissen der beiden Weltkriege im vergangenen Jahrhundert hat die europäische Integ

Source URL: www.bdkj.de

Logimix: A Self-Applicable Partial Evaluator for Prolog∗ Torben Æ. Mogensen Anders Bondorf DIKU, Department of Computer Science,

Source URL: repository.readscheme.org

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog? T. Str¨ oder1 , F. Emmes1 , P. Schneider-Kamp2 , J. Giesl1 , and C. Fuhs1 1

Source URL: www.dcs.bbk.ac.uk

Definite clause grammars Representation Prolog CFGs

Source URL: cl.indiana.edu

RULE-BASED CARTOGRAPHIC NAME PLACEMENT WITH PROLOG Christopher B. Jones Anthony C. Cook Polytechnic of Wales Pontypridd

Source URL: mapcontext.com

Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K.

Source URL: repository.readscheme.org

• Software engineering
• Logic
• Mathematical logic
• Logic programming
• Logic in computer science
• Automated theorem proving
• Predicate logic
• Prolog
• Horn clause
• Resolution
• Partial evaluation
• Mereology

Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of

Source URL: repository.readscheme.org

• Software engineering
• Computer programming
• Computing
• Functional languages
• Programming paradigms
• Prolog
• Interpreter
• Escher
• Programming language
• Declarative programming
• APL

A RULE-BASED APPROACH FOR SPATIAL OBJECT MODELLING AND TASK MANAGEMENT Qiming Chen National Land Information System National Bureau of Surveying & Mapping* Beijing,

Source URL: mapcontext.com

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Database
• Prolog
• Object
• ECO
• Database management systems
• Database models

Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2

Source URL: rodin.cs.ncl.ac.uk

• Software engineering
• Computing
• Formal methods
• Refinement
• FDR
• Model checking
• Prolog
• Algorithm
• Predicate transformer semantics
• Type system
• Abstract machine
• XSB