RECHERCHEZ parmi plus de 10 000 articles de référence ou pratiques et 4 000 articles d'actualité
PAR DOMAINE D'EXPERTISE
PAR SECTEUR INDUSTRIEL
PAR MOTS-CLES
NAVIGUER DANS LA
CARTOGRAPHIE INTERACTIVE
DÉCOUVREZ toute l'actualité, la veille technologique GRATUITE, les études de cas et les événements de chaque secteur de l'industrie.
Auteur(s) : Patrice BOIZUMAULT
Date de publication : 10 févr. 2001
Présentation
Lire l'article
Bibliographie & annexes
Inclus dans l'offre
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...
Déjà abonné ? ouSe connecter
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 PAGEDéjà abonné ? ouSe connecter
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
Archives
Technologies anciennes et versions
antérieures des articles
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. |
||
Formule 12 mois 2 165 € HT |
Autres formules |
1 - CLAUSES DE HORN ET PRINCIPE DE RÉSOLUTION
3 - LISTES
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
SOLUTION EN LIGNE
Découvrez KréaCCTP, le 1er logiciel de rédaction de CCTP en ligne. Intuitif, il s’appuie sur une bibliothèque de descriptifs actuelle et fiable.
Automatique - Robotique | Biomédical - Pharma | Construction et travaux publics | Électronique - Photonique | Énergies | Environnement - Sécurité | Génie industriel | Ingénierie des transports | Innovation | Matériaux | Mécanique | Mesures - Analyses | Procédés chimie - bio - agro | Sciences fondamentales | Technologies de l'information
ACCUEIL | A PROPOS | ANNUAIRE AUTEURS | EXPERTS SCIENTIFIQUES | PUBLICITÉ | PLAN DU SITE | MENTIONS LÉGALES | RGPD | COOKIES | AIDE & FAQ | CONTACT
PAIEMENT
SÉCURISÉ
OUVERTURE RAPIDE
DE VOS DROITS
ASSISTANCE TÉLÉPHONIQUE
+33 (0)1 53 35 20 20