The Free On-line Dictionary of Computing (30 December 2018):

ALADIN

   1.  A Language for Attributed Definitions.

   2.  An interactive mathematics system for the IBM 360.

   ["A Conversational System for Engineering Assistance: ALADIN",
   Y. Siret, Proc Second Symp Symb Algebraic Math, ACM Mar 1971].

   (1995-04-13)