António Porto
A structured alternative to Prolog with simple compositional semantics
ICLP, 2011.
@article{ICLP-J-2011-Porto,
author = "António Porto",
doi = "10.1017/S1471068411000202",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "611--627",
title = "{A structured alternative to Prolog with simple compositional semantics}",
volume = 11,
year = 2011,
}











