Logic Programming with Extensible Types - I Perez; A Herranz (Ntrs-Nasa, 2024)