Deransart, Pierre A methodological view of logic programming with negation Pierre Deransart - Paris I.N.R.I.A 1989 - 19 p 27 cm - Rapports de recherche 1011 . Contine bibliografie