Labelled Variables in Logic Programming: A First Prototype in tuProlog
Events
- AI*IA Doctoral Consortium 2015 (AI*IA 2015 DC ) — 23/09/2015–24/09/2015
Publications
- Labelled Variables in Logic Programming: A First Prototype in tuProlog (paper in proceedings, 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini