LIGHT - A constraint language and compiler system for typed-unification grammars. This work presents LIGHT, a feature constraint language for deduction-based bottom-up parsing with typed-unification grammars. We overview both its formal definition, as a logic language operating bottom-up inferences over OSF-terms, and its implementation -- an elegant combination of a virtual machine for head-corner parsing and an extended abstract machine for feature structure unification.