Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Contribution a la compilation de Prolog par evaluation partielle

Landais, Gilbert

Publication date

January 1988

Abstract

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Extracted data

Related items

The compilation of #lambda# Prolog and its execution with MALI

Ridoux, Olivier
Brisset, Pascal
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a. 1992 n...

Etude du couplage de PROLOG et d'un systeme de gestion de bases de donnees : application au SGBD SABRE

Jouve, Mireille

January 1985

SIGLECNRS T 58869 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...

Contribution a l'interpretation et a la transformation de programmes Prolog

Belkhiri, Ali
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une experience de compilation de PROLOG II sur MALI

Amraoui, Mohamed

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Prolog en informatique de gestion

Zotian, Jean-Jacques

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

L'evaluation partielle et son application pour coupler Prolog et les SGBD

Li, Lei

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Compilation de lambda-Prolog

Brisset, Pascal

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20541 / INIST-CNRS ...

Contribution a l'etude des semantiques axiomatiques de prolog

Denis, Francois

January 1990

SIGLEINIST T 76213 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Utilisation de PROLOG, langage d'intelligence artificielle, en biologie moleculaire

Colmerauer, Alain
Giannesini, Francis
Bellon, Bernard
Brandli, Dominique
Pasero, Robert
Centre National de la Recherche Scientifique (CNRS), 13 - Marseille (France). Lab. de Genetique et Biologie Cellulaires
Aix-Marseille-2 Univ., 13 (France). Lab. de Genetique et Biologie Cellulaires
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1984

CNRS AR 11930 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Mise en oeuvre de PrologII/MALI

Le Huitouze, Serge

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Les types en Prolog : un systeme d'inference de type et ses applications

Azzoune, Hamid
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Notes de cours prolog

Dincbas, M.
Bourgault, S.
Le Pape, J.P.
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Structures et Logiciels pour la Commutation

January 1986

SIGLECNRS RP 252 (348) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

The compilation of #lambda# Prolog and its execution with MALI

Ridoux, Olivier
Brisset, Pascal
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a. 1992 n...

Etude du couplage de PROLOG et d'un systeme de gestion de bases de donnees : application au SGBD SABRE

Jouve, Mireille

January 1985

SIGLECNRS T 58869 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...

Contribution a l'interpretation et a la transformation de programmes Prolog

Belkhiri, Ali
Ecole Nationale Superieure de l'Aeronautique et de l'Espace de Toulouse, 31 (France)

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une experience de compilation de PROLOG II sur MALI

Amraoui, Mohamed

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Prolog en informatique de gestion

Zotian, Jean-Jacques

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

L'evaluation partielle et son application pour coupler Prolog et les SGBD

Li, Lei

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Compilation de lambda-Prolog

Brisset, Pascal

January 1992

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : TD 20541 / INIST-CNRS ...

Contribution a l'etude des semantiques axiomatiques de prolog

Denis, Francois

January 1990

SIGLEINIST T 76213 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Utilisation de PROLOG, langage d'intelligence artificielle, en biologie moleculaire

Colmerauer, Alain
Giannesini, Francis
Bellon, Bernard
Brandli, Dominique
Pasero, Robert
Centre National de la Recherche Scientifique (CNRS), 13 - Marseille (France). Lab. de Genetique et Biologie Cellulaires
Aix-Marseille-2 Univ., 13 (France). Lab. de Genetique et Biologie Cellulaires
Fonds de la Recherche et de la Technologie (FRT), 75 - Paris (France)

January 1984

CNRS AR 11930 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

Mise en oeuvre de PrologII/MALI

Le Huitouze, Serge

January 1988

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Les types en Prolog : un systeme d'inference de type et ses applications

Azzoune, Hamid
Institut National Polytechnique de Grenoble (INPG), 38 (France)

January 1989

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Notes de cours prolog

Dincbas, M.
Bourgault, S.
Le Pape, J.P.
Centre National d'Etudes des Telecommunications (CNET), 22 - Lannion (France). Div. Structures et Logiciels pour la Commutation

January 1986

SIGLECNRS RP 252 (348) / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Machine base de donnees PROLOG

Berger Sabbatel, Gilles
Nguyen, Gia Toan
Centre National de la Recherche Scientifique, LA 7, Laboratoire d'Informatique et de Mathematiques Appliquees de Grenoble Grenoble (FRANCE)
Universite de Grenoble 1, Institut National Polytechnique de Grenoble Grenoble (FRANCE)

January 1982

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Concurrent Prolog : etude et utilisations

Bellone, Jacques

January 1987

SIGLECNRS T Bordereau / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

The compilation of #lambda# Prolog and its execution with MALI

Ridoux, Olivier
Brisset, Pascal
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1992

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a. 1992 n...

Etude du couplage de PROLOG et d'un systeme de gestion de bases de donnees : application au SGBD SABRE

Jouve, Mireille

January 1985

SIGLECNRS T 58869 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Une contribution a l'etude du parallelisme ou en Prolog sur les machines sans memoire commune

Resin Geyer, Claudio

January 1991

SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : T 81796 / INIST-CNRS -...