Strategies in PRholog

PRholog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with Rholog calculus. The rules perform nondeterministic transformations on hedges. Queries may have several results that can be explored on backtracking. Strategies provide a control on rule applications in a declarative way. With strategy combinators, the user can construct more complex strategies from simpler ones. Matching with four different kinds of variables provides a flexible mechanism of selecting (sub)terms during execution. We give an overview on programming with strategies in PRholog and demonstrate how rewriting strategies can be expressed

Joint management of shared resources as an alternative approach for addressing maritime boundary disputes : the Kenya-Somalia maritime boundary dispute

Socio-economic security has motivated African states to explore natural resources in areas of overlapping maritime claims. However, Africa’s maritime boundaries are characterized by unresolved disputes. Resolution of these disputes is time-consuming, expensive and can undermine the state’s ability to exploit natural resources. The Somalia and Kenya maritime dispute under litigation with the International Court of Justice demonstrates the continental commitment to peaceful resolution. Citing cases from across Africa, we discuss outright delimitation or Joint Management Zones (JMZs) as means to address disputes over shared resources, particularly transboundary fisheries, which have received little attention. Reframing the Kenya-Somalia maritime dispute resolution process as cooperation over fisheries management will have spill-over effects into greater diplomatic relations. Fish do not abide by maritime boundaries. As such, we posit that the peaceful resolution of maritime boundary disputes lies in Africa’s ability to consider settlements by way of JMZs to motivate sustainable use of natural resources.PostprintPeer reviewe

The new concept-temporary stents, an experimental study.

peer reviewe