Skip to Main content Skip to Navigation
Journal articles

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
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 : Tuesday, January 21, 2020 - 1:14:17 AM

Identifiers

  • HAL Id : hal-00693240, version 1

Collections

UNIV-PARIS1 | CNRS | CRI | UPMC | LIP6 | SORBONNE-UNIVERSITE | SU-SCIENCES | TDS-MACS

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

238

Contact

Informations

CCSD