Chronolog 3d(ID:6842/chr003)
extension to chronolog for 2 spatial dimensions (based on a 3d InTense)
Related languages
References:
Orgun, M. A. and W. W. Wadge. A theoretical basis for intensional logic programming. In Proc. of the 1988 International Symposium on Lucid and Intensional Programming, pp. 33-49, Sidney, B.C., Canada, Apr. 7-8 1988 view details
Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994
view details
Extract: Chronolog 3d 3-D logic programming language (an extension of Chronolog with two spatial dimensions). This language can in fact be considered as a version of InTense restricted to 3 dimensions.
|