{"version":"1.0","type":"link","title":"HiLog - Newikis","description":"HiLog is a programming logic with higher-order syntax, which allows arbitrary terms to appear in predicate and function positions. However, the model theory of HiLog is first-order. Although syntactically HiLog strictly extends first order logic, HiLog can be embedded into this logic.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}