Une vue méthodologique de la Programmation en Logique avec négation.