no code implementations • 21 Feb 2014 • Gianpaolo Brignoli, Stefania Costantini, Ottavio D'Antona, Alessandro Provetti
Stable Logic Programming (SLP) is an emergent, alternative style of logic programming: each solution to a problem is represented by a stable model of a deductive database/function-free logic program encoding the problem itself.