English HiLog Cited by user Biogeographist on 16 Feb 2018 HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions.