HiLog
id:
hilog-272-12497421
title:
HiLog
text:
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. HiLog was first described in 1989. It was later extended in the direction of many-sorted logic. The XSB system parses HiLog syntax, but the integration of HiLog into XSB is only partial. In particular, HiLog is not
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/HiLog
date created:
date modified:
2023-08-18T08:43:22Z
main entity:
{"identifier":"Q17029831","url":"https://www.wikidata.org/entity/Q17029831"}
image:
fields total:
13
integrity:
13