logical program{=LOGRAM}