Arnaud Nguembang Fadja, Head of Machine Learning at semvox GmbH, CEO of System Afrik Information Technology and adjunct research fellow of the University of Ferrara, died February 3, 2026 of illness at the age of 38.Arnaud was born in Douala,…
Category: ALP ISSUE
zelph: an open-source semantic network reasoning engine
zelph is an open-source semantic network reasoning engine that performs bottom-up forward chaining over a unified graph. Its key characteristic is radical homoiconicity: rules, predicates, numbers, and facts are all nodes in the same subject–predicate–object graph. Computation emerges from rule-driven…
In Memoriam: Sergio Antoy
Dr. Sergio Antoy, a distinguished and long-serving Professor of Computer Science at Portland State University, has passed away. A respected researcher and dedicated educator, Sergio was a leading figure in the field of programming languages and functional logic programming. Sergio…
CILC 2025 Report
By Dario Guidotti, Laura Pandolfo, and Luca PulinaUniversity of Sassari, via Roma 151, Sassari, 07100, Italy The Italian Conference on Computational Logic (CILC) is the annual event of the Italian Association for Logic Programming (GULP – Gruppo Ricercatori e Utenti…
Systems Description: ErgoAI
Using Level-Based Multiple Reasoning in a Web-Based Intelligent System for the Diagnosis of Farmed Fish Diseases using LPA Prolog
Planning as Theorem Proving with Heuristics
In Memoriam: Steffen Holldobler
Extensions of Logic Programming in Maude
By Santiago Escobar, VRAIN, Universitat Politècnica de València, Spain AbstractIn 2022/2023, the logic programming community is celebrating the milestone of 50 years of evolution of logic programming languages, started in 1972 with the first version of Prolog. In this paper,…