Software by New Logical Games