On infinite loops in logic programming

Philippe Besnard

On infinite loops in logic programming

Philippe Besnard ¹

1 REPCO - Knowledge Representation

IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes

Résumé : Disponible dans les fichiers attachés à ce document

Type de document :

Rapport

[Research Report] RR-1096, INRIA. 1989

Domaine :

Informatique [cs] / Autre [cs.OH]

Liste complète des métadonnées

https://hal.inria.fr/inria-00075463
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:16:20
Dernière modification le : mercredi 11 avril 2018 - 02:01:13
Document(s) archivé(s) le : mardi 12 avril 2011 - 23:14:17

On infinite loops in logic programming

Fichiers

Identifiants

Collections

Citation

Exporter

Métriques

130

50

Contact

On infinite loops in logic programming

Fichiers

Identifiants

Collections

Citation

Exporter

Partager

Métriques

130

50

Contact