A logic programming language based on formal logic and automated reasoning.
Rennes, France - January 11, 2026
Rende, Calabria, Italy - September 12, 2025
Serra Negra, SP, Brazil - May 12, 2025
