Logic and Time-Based Art Practice

This paper is concerned with art practice in the tradition of systematic construction. In particular, the underlying structures of work are seen to be logical, although no particular logic is emphasized. The problems of time-based work are discussed in relation to computer-generated video. It is argued that, in this context, logic programming is important and that images may be generated by such systems in an interesting way. Of particular significance is the fact that the inference system in a logic programming implementation can be seen to define the underlying structure of the time base of a work. An example is described and the implications discussed.