Hanoi towers in resource oriented perspective
Liberios Vokorokos, Zuzana Bilanová, Daniel Mihályi · 2017
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.