How to write f-logic programs in florid: A tutorial for the database language f-logic