Design and Implementation of the GNU Prolog System

Daniel Diaz 1 Philippe Codognet 2
1 CRI - Centre de Recherche en Informatique de Paris 1
2 LIP6 - Laboratoire d'Informatique de Paris 6
Mots-clés : finite domains prolog implementation constraint gnu prolog
Document type :
Journal articles
Complete list of metadatas
https://hal-paris1.archives-ouvertes.fr/hal-00693240
Contributor : Daniel Diaz <>
Submitted on : Wednesday, May 2, 2012 - 11:41:06 AM
Last modification on : Friday, September 27, 2019 - 12:16:04 PM

Identifiers

  • HAL Id : hal-00693240, version 1

Collections

UNIV-PARIS1 | CRI | UPMC | LIP6 | SORBONNE-UNIVERSITE | SU-SCIENCES

Citation

Daniel Diaz, Philippe Codognet. Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming, Westf§lische Wilhelms-Universit§t M?nster, 2001, 6, pp.1. ⟨hal-00693240⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

222

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD