Language for PLT