Can I read Introduction to Chronolog(Z) Logic on EtoBox?

Introduction to Chronolog(Z) Logic by mcmcsoto is a document available to read on EtoBox.

What is Introduction to Chronolog(Z) Logic about?

This document introduces Chronolog(Z), a logic programming language based on linear-time temporal logic with unbounded past and future. Chronolog(Z) programs can be executed using a resolution-type proof procedure called TiSLD-resolution. The language is suitable for applications involving dynamic change over time, such as modeling non-terminating computations and sequential circuits. A modular extension of Chronolog(Z) is also proposed to model objects with internal memory.

Author

mcmcsoto

Language

EN