Author: Enrico Pontelli

CFP: Second miniKanren and Relational Programming Workshop

https://icfp20.sigplan.org/home/minikanren-2020 Thu 27 Aug 2020, Virtually Everywhere,Part of the 2020 International Conference on Functional Programminghttps://icfp20.sigplan.org/ About mKW The miniKanren and Relational Programming Workshop is a new workshop for the miniKanren family of relational (pure constraint logicĀ  programming) languages: miniKanren, microKanren,…

In Memoriam: Jan Maluszynski

It is with a heavy heart that we announce that Professor Jan Maluszynski and passed away after fighting a fatal illness for over a year. Prof. Maluszynski was one of the pioneers of logic programming, with important contributions in a…

Editorial, Volume 32, No. 1, April/May 2019

Welcome to the new issue of your favorite Newsletter. First of all, on behalf of the entire crew of the ALP Newsletter, we would like to apologize for some of the recent delays in getting the newsletter out. Administrative duties…

System Announcement: PROJECTOR

PROJECTOR is an automated rewriting system for non-ground logic programs under answer set semantics. It is designed to improve the performance of answer set programing solutions. Its ideas stem from relational database query optimization techniques. PROJECTOR version 1.0.0 is available…

Editorial, Volume 31, No. 2, July/August 2018

Dear Logic Programming Colleagues, welcome to a new issue of your favorite ALP Newsletter! First of all, we need to apologize for the slight delay in the recent publications of the newsletter – new administrative appointments have taken a toll…