The overarching theme of this research project is to build a machine-accessible and mathematically precise abstraction of human body movement through experiments in programming an articulated puppet that imitates the human body structure and mobility within a "Real-Time Interactive Computer Animation" (RTICA). Human movement has been the…

This paper describes a Prolog execution model which serves as the uniform basis of textbook material, video-based teaching material, and an advanced graphical user interface for Prolog programmers. The model, based upon an augmented AND/OR tree representation of Prolog programs, uses an enriched "status box" in place of the traditional…