Définition

Un langage de programmation logique associé à l'intelligence artificielle et à la linguistique computationnelle. Les programmes Prolog sont définis comme un ensemble de relations et de règles, et le langage excelle dans la correspondance de motifs, le raisonnement symbolique et l'interrogation de bases de données.

Terme défini