High-Level Logical Descriptive Language