Auteur(s) : Patrice BOIZUMAULT
Date de publication : 10 févr. 2001
Quitter la lecture facile
Une liste est une collection ordonnée de termes quelconques. Une liste est soit :
la liste vide h ;
une suite de termes entre crochets et séparés par des virgules : [1,2,4], [1,2,[3]], [h(10,20), h(12,30)]. Il n’y a pas de typage et les éléments d’une liste peuvent être de nature différente [a,12,f(a,b),X,[1,h(d)]].
Le constructeur de listes est noté
et [a,b] est une notation abrégée pour [a
[b
[]]]. Toute liste peut être obtenue à partir des constructeurs
et [].
L’unification est un moyen puissant pour accéder aux éléments d’une liste ou pour en construire de nouvelles.
unifions les termes suivants : [a,b,c,d] et
on obtient la substitution {X=a, Y=[b,c,d]}.
[a,b,c,d] et [X,Y] conduit à un échec (la première liste possède quatre éléments et la seconde deux).
[a,b,c,d] et [X, Y
Z] on obtient la substitution {X=a, Y=b, Z=[c,d]}.
[a,b,c,d] et [X, X
Z] conduit à un échec (on ne peut avoir à la fois X=a et X=b).
Nous...
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes (224 articles en ce moment)
Cette offre vous donne accès à :
Une base complète et actualisée d'articles validés par des comités scientifiques
Un service Questions aux experts et des outils pratiques
Des Quiz interactifs pour valider la compréhension et ancrer les connaissances
(1) - COLMERAUER (A.), KANOUI (H.), PASERO (R.), ROUSSEL (P.) - Un système de communication homme machine en français - . 1972 Technical report, GIA université d’Aix-Marseille.
(2) - WARREN (D.H.) - Implementing Prolog : compiling predicates logic programs - . Technical Report 39-40, 1977, DAI Edimbourg.
(3) - CLOCKSIN (W.F.), MELLISH (C.S.) - Programming in Prolog - . 2e éd., 1984 Springer-Verlag.
(4) - APT (K.) - From Logic Programming to Prolog - . 1997 Prentice Hall.
(5) - ROBINSON (J.A.) - A machine oriented logic based on the resolution principle - . JACM, 12(1), 1965, 23-44.
(6) - APT (K.R.), VAN EMDEN (M.H.) - Contribution to the theory of Logic Programming - . JACM, 29(3), 1982, 841-862.
...
Langages pour la conception des circuits intégrés
Revue Theory and Practice of Logic Programming
http://www.cwi.nl/projects/alp/TPLP/index.html
Archives (logiciels libres, systèmes commerciaux, manifestations scienti-fiques...)
http://archive.comlab.ox.ac.uk/logic-prog.html
HAUT DE PAGE
Association internationale pour la programmation en logique ALP
http://www.cwi.nl/projects/alp
Association française pour la programmation en logique et la programmation par contraintes AFPLC
Réseau compulog
http://kmi.open.ac.uk/compulog
HAUT DE PAGE
DÉTAIL DE L'ABONNEMENT :
TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE
Accès aux :
Articles et leurs mises à jour
Nouveautés
Archives
Articles interactifs
Formats :
HTML illimité
Versions PDF
Site responsive (mobile)
Info parution :
Toutes les nouveautés de vos ressources documentaires par email
DES ARTICLES INTERACTIFS
Articles enrichis de quiz :
Expérience de lecture améliorée
Quiz attractifs, stimulants et variés
Compréhension et ancrage mémoriel assurés
DES SERVICES ET OUTILS PRATIQUES
Votre site est 100% responsive, compatible PC, mobiles et tablettes.
FORMULES
| Formule monoposte | Autres formules | |
|---|---|---|
| Ressources documentaires | ||
| Consultation HTML des articles | Illimitée | Illimitée |
| Quiz d'entraînement | Illimités | Illimités |
| Téléchargement des versions PDF | 5 / jour | Selon devis |
| Accès aux archives | Oui | Oui |
| Info parution | Oui | Oui |
| Services inclus | ||
| Questions aux experts (1) | 4 / an | Jusqu'à 12 par an |
| Articles Découverte | 5 / an | Jusqu'à 7 par an |
| Dictionnaire technique multilingue | Oui | Oui |
|
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. |
||
| DEMANDER UN DEVIS | ||
Information
Quiz d'entraînement bientôt disponible
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
