Add r_ril_c

[Timisorean]

Adding a new role: r_til_c(Role, Concept).

This role finds and stores the shortest path of every object to an object from concept C following a role R.

For example, we have a symmetric role connected = {(A, B) | A in {1,2,3}, B in {1,2} and a is A non-diagonal neighbor of B} which describes a 3x2 grid, and concept goal := {1_1, 1_3}:

1_1 | 1_2 | 1_3
---------------
2_1 | 2_2 | 2_3

Then r_til_c(connected, goal) = {(1_2, 1_1), (1_2, 1_3), (2_1, 1_1), (2_2, 2_1), (2_2, 1_2), (2_2, 2_3), (2_3, 1_3)}. For cells 1_2, 2_1 and 2_3 there is only one shortest path to the nearest goal cell. For 2_2 there are four paths over three successor with minimal lengths to a goal cell.

• Maybe check if there is an faster implementation of the path finding algorithm
• Check if generator of role is correct / good.