17 citations · 46 across the 16 of their papers we have counts for
1 paper · 1 filter
Besik Dundua, Temur Kutsia, Mircea Marin
PRholog is an experimental extension of logic programming with strategic conditional transformation rules, combining Prolog with Rholog calculus. The rules perform nondeterministic…