prelogic