A high-order logic programming framework for complex objects reasoning | IEEE Conference Publication | IEEE Xplore