No definitions found for 'higher order logic' Perhaps one of these: higher-order function, hickory ridge, ar, hickory ridge, higher-order macro, hawser iron