Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch - Tarau, Paul (Electronic proceedings in theoretical computer science, 2021)