Ce langage particulièrement puissant est une forme déclarative et naturelle de programmation et une formation aux systèmes experts. Il permet de tester les modélisations symboliques et logiques de toutes les disciplines tout en ouvrant la porte de l'intelligence artificielle.