Programmation déclarative
• Fonctionnelle
•Fonctions, fonctions, fonctions
•Facilités pour les faire intéragir
•Pas d'instructions, que des expressions
• Logique
•Prédicats, prédicats, prédicats
•Moteur d'inférence logique
→ Effets de bords limités, tout ce que l'on écrit
est une valeur, un “calcul”, pas un “ordre”