The Arden Syntax for Medical Logic Systems