Smodels an implementation of the stable model and well-founded semantics for normal logic programs الأبحاث والدراسات العلمية (ملفات PDF)