LogiCalc: a prolog spreadsheet