ASPeRiX: un solveur ASP du premier ordre

摘要

Nous présentons ASPeRiX, un solveur ASP dont la spécificité est detravailler directement avec des règles logiques avec variables et donc sans instanciation préalable du programme comme cela est pratiqué par les principaux solveurs actuels. Le système applique des règles en chaînage avant en les instanciant au fur et à mesure des besoins. ASPeRiX évite ainsi certaines difficultés auxquelles se heurtent les solveurs ASP traditionnels.