HOW TO: DATALOG USING EVOSCAN