tag : constraint logic programming
1 publication
Labelled Variables in Logic Programming: A First Prototype in tuProlog (paper in proceedings, 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini Labelled Variables in Logic Programming: A First Prototype in tuProlog (paper in proceedings, 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini