WLP / WFLP

Keyphrases

Publications

2017

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

volume 234, 2017

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