4 works on record
Logic programming
Programming languages
Logic-Based Program Synthesis and Transformation
Linguaggi Di Programmazione. Principi E Paradigmi
