Sequential Operations in LogicWeb

Daeseong Kang, Keehang Kwon, Zulkarnine Mahmud

Sequential tasks cannot be effectively handled in logic programming based on classical logic or linear logic. This limitation can be addressed by using a fragment of Japaridze'sSeq…