Datalogic Formula User Manual