Tag Clouds

0 docs / Tag “labelled variables in logic programming”  /  2P-Kt 

2 docs / Tag “labelled variables in logic programming”  /  tuProlog 

  Labelled Variables in Logic Programming: A First Prototype in tuProlog (talk, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)
 Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini