A logic programming language designed for AI and symbolic computation.
Rende, Calabria, Italy - September 12, 2025
Rennes, France - January 11, 2026