Un langage logique orienté objet.