The flatlog application