Hanoi towers in resource oriented perspective

Abstract

The features of linear predicate logic (based on propositional linear logic enriched by the first order predicate logic principles) are implemented in logic programming language called Vorvan. Subsequently, the time-space extension of linear logic — Ludics theory, is applied to selected clause of given language.