3 ms·Answer-set programming: Prolog doesn't have well-defined declarative semantics.by mjn 13y agoAnswer-set programming: Prolog doesn't have well-defined declarative semantics.