HAL Id: hal-01162532
https://hal.inria.fr/hal-01162532
Submitted on 10 Jun 2015
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Pointwise circumscription is equivalent to predicate
completion (sometimes)
Yves Moinard
To cite this version:
Yves Moinard. Pointwise circumscription is equivalent to predicate completion (sometimes). Fifth International Conference of Logic Programming (ICLP 88), Aug 1988, Seattle, United States. �hal-01162532�