By Camillo Fiorentini, Alberto Momigliano
Month: September 2016
Horn Clause Transformation for Program Verification
By Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, and Maurizio Proietti
LP System announcement: InterProlog Studio
By Miguel Calejo
In Memoriam: Alan Robinson
It is with heavy hearts that we share with the rest of the ALP Community the news of the passing of Alan Robinson. Alan was, with no doubts, one of the founding fathers and leaders of logic programming. Among the…