Programmation logique
ConceptConcepts informatiques
Paradigme de programmation fondé sur la logique formelle et le raisonnement logique.
1,60Rare
Rare
Programmation logique
- Concepts informatiques
- Langages de programmation
La programmation logique est un paradigme de programmation, de bases de données et de représentation des connaissances fondé sur la logique formelle. Les programmes logiques expriment les connaissances sur un domaine sous forme d'énoncés logiques, et le calcul applique un raisonnement logique pour résoudre les problèmes du domaine. Les principales familles de langages comprennent Prolog, Answer Set Programming et Datalog. Les règles comportent une tête et un corps, tandis que les requêtes énoncent des objectifs. Les programmes en clauses de Horn peuvent être étendus avec des conditions négatives pour des applications pratiques.
L'image sur cette carte a été créée avec l'IA. C'est une illustration, et non une vraie photo du sujet.
- Paradigme
- Paradigme de programmation, de bases de données et de représentation des connaissances
- Principales familles de langages
- Prolog, Answer Set Programming (ASP) et Datalog
- Calcul
- Applique un raisonnement logique aux connaissances
Sources et crédits
Sources et crédits
- Article
- Logic programming (Wikipédia en anglais)
- Wikidata
- Q275603
- Texte
- Le texte de la carte est adapté de l'article de la Wikipédia en anglais par un résumé automatisé. Le contenu de Wikipédia est disponible sous CC BY-SA 4.0 ; consulte l'historique de l'article pour voir ses contributeurs. CC BY-SA 4.0 · Historique de l'article et contributeurs
- Illustration
- Illustration générée par IA. Ce n'est ni une photographie ni une image documentaire. (modèle : gpt-image-2.5-flare)
- Popularité
- 106 vues quotidiennes médianes (Wikimedia Pageviews API (all-access, user agent))
Kosmora n'est ni affilié à la Wikimedia Foundation ni approuvé par elle.