Gu, T; Zanasi, F; (2021) Functorial semantics as a unifying perspective on logic programming. In: Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021). (pp. p. 17). Schloss Dagstuhl , Leibniz-Zentrum: Dagstuhl, Germany.