Moduł statyki w LogiKal