Published: 1st January 2017
DOI: 10.4204/EPTCS.234
ISSN: 2075-2180

EPTCS 234

Proceedings 29th and 30th Workshops on
(Constraint) Logic Programming
and 24th International Workshop on
Functional and (Constraint) Logic Programming
Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016

Edited by: Sibylle Schwarz and Janis Voigtländer

Preface
Invited Presentation: Declarative Model Transformations with Triple Graph Grammars
Anthony Anjorin
Knowledge Engineering for Hybrid Deductive Databases
Dietmar Seipel
1
Bottom-Up Evaluation of Datalog: Preliminary Report
Stefan Brass and Heike Stephan
13
A Practical View on Renaming
Marija Kulaš
27
Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts
Falco Nogatz and Dietmar Seipel
42
Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation
Stefan Brass and Heike Stephan
57
Constraint Logic Programming over Infinite Domains with an Application to Proof
Sebastian Krings and Michael Leuschel
73
Source Code Verification for Embedded Systems using Prolog
Frank Flederer, Ludwig Ostermayer, Dietmar Seipel and Sergio Montenegro
88
A Typeful Integration of SQL into Curry
Michael Hanus and Julia Krone
104
A Simulation Tool for tccp Programs
María-del-Mar Gallardo, Leticia Lavado and Laura Panizo
120
A Framework for Extending microKanren with Constraints
Jason Hemann and Daniel P. Friedman
135
A Practical Study of Control in Objected-Oriented–Functional–Logic Programming with Paisley
Baltasar Trancón y Widemann and Markus Lepper
150
An Agglomeration Law for Sorting Networks and its Application in Functional Programming
Lukas Immanuel Schiller
165
Proving Non-Deterministic Computations in Agda
Sergio Antoy, Michael Hanus and Steven Libby
180

Preface

The 29th and 30th Workshops on (Constraint) Logic Programming, WLP 2015 and WLP 2016, were held on September 22, 2015 in Dresden, Germany, and on September 12-13, 2016 in Leipzig, Germany, respectively. The 24th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2016, was held on September 13-14, 2016, in Leipzig, Germany. The latter two events were part of the Leipzig Week of Declarative Programming, L-DEC 2016.

WLP is the annual meeting of the German Society of Logic Programming, Gesellschaft für Logische Programmierung e.V. (GLP), and brings together researchers interested in logic programming, constraint programming, answer set programming, and related areas like databases and artificial intelligence (not only from Germany). WFLP aims at bringing together researchers, students, and practitioners interested in functional programming, logic programming, and their integration. Both workshops have often been co-located in order to promote the cross-fertilizing exchange of ideas and experiences among and between the communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas.

The workshops aim to foster informal discussion and presentation of work in progress, and thus typically use a post-proceedings process. This EPTCS volume assembles, in order, three papers presented at WLP 2015 (out of seven contributed talks there), four papers presented at WLP 2016 (corresponding to the four contributed talks there), and six papers presented at WFLP 2016 (out of eight contributed talks there, selected from eleven submissions).

WFLP 2016 featured an invited talk by Anthony Anjorin. The abstract of his presentation is also included below.

We would like to thank all authors, speakers, and participants for their contributions to the workshops, through submissions, presentations, and discussion. Moreover, we would like to thank the PC members and additional reviewers. They all worked hard in reviewing papers within short time frames, aiming to provide useful feedback to the authors. The submission and reviewing processes and PC discussions were handled by the EasyChair conference management system, which was a great help. We would also like to thank EPTCS for accepting to publish these proceedings, and for providing such a smooth and professional technical process. Last but definitely not least, we would like to express our gratitude to the local organizers in Dresden and Leipzig, represented by Steffen Hölldobler and Johannes Waldmann, respectively.

Sibylle Schwarz (Program Committee Co-Chair and Chair, WLP 2015 and WLP 2016, respectively)
Janis Voigtländer (Program Committee Chair, WFLP 2016)

Program Committee of WLP 2015

Slim Abdennadher German University in Cairo
Stefan Brass University of Halle-Wittenberg
Gerhard Brewka University of Leipzig
François Bry Ludwig-Maximilian University of Munich
Michael Hanus University of Kiel
Petra Hofstedt Brandenburg University of Technology Cottbus
Steffen Hölldobler (Co-Chair) Technische Universität Dresden
Torsten Schaub University of Potsdam
Sibylle Schwarz (Co-Chair) Hochschule für Technik, Wirtschaft und Kultur Leipzig
Dietmar Seipel Julius-Maximilians-Universität Würzburg
Hans Tompits Vienna University of Technology
Janis Voigtländer University of Bonn

Program Committee of WLP 2016

Stefan Brass University of Halle-Wittenberg
Gerhard Brewka University of Leipzig
Michael Hanus University of Kiel
Heinrich Herre University of Leipzig
Petra Hofstedt Brandenburg University of Technology Cottbus
Steffen Hölldobler Technische Universität Dresden
Ulrich John Hochschule für Wirtschaft, Technik und Kultur HWTK Berlin
Georg Ringwelski Hochschule Zittau/Görlitz
Torsten Schaub University of Potsdam
Sibylle Schwarz (Chair) Hochschule für Technik, Wirtschaft und Kultur Leipzig
Dietmar Seipel Julius-Maximilians-Universität Würzburg

Program Committee of WFLP 2016

Slim Abdennadher German University in Cairo
Sergio Antoy Portland State University
Sebastian Fischer Freelancer
Francisco J. López Fraguas Universidad Complutense de Madrid
Michael Hanus University of Kiel
Sebastiaan Joosten University of Innsbruck
Kazutaka Matsuda Tohoku University
Martin Sulzmann Karlsruhe University of Applied Sciences
Janis Voigtländer (Chair) University of Bonn

Declarative Model Transformations with Triple Graph Grammars

Anthony Anjorin (Universität Paderborn)

Triple Graph Grammars (TGGs) provide a rule-based means of specifying a consistency relation over two graph languages. TGG rules are declarative in the sense that they are both direction agnostic and pattern based, characterising all consistent pairs of graphs without fixing the order in which rules are to be applied to restore consistency.
A declarative specification of consistency is advantageous as very different tools can be derived automatically from a TGG including an instance generator, consistent forward and backward transformations, and incrementally working synchronisers, which are able to realise forward and backward change propagation without incurring unnecessary information loss.
This talk will present TGGs as a pragmatic implementation of the more abstract symmetric delta lens framework for bidirectional (model) transformations (bx), touching on the main strengths, limitations, and future challenges of the approach in comparison to other bx languages.

References

  1. Anthony Anjorin, Erhan Leblebici & Andy Schürr (2015): 20 Years of Triple Graph Grammars: A Roadmap for Future Research. ECEASST 73, doi:10.14279/tuj.eceasst.73.1031.