?- lisitng(tc).
Correct to: "listing(tc)"? yes
:- dynamic baseKB:tc/2.
:- multifile baseKB:tc/2.
:- public baseKB:tc/2.
:- module_transparent baseKB:tc/2.

baseKB:tc(1, 2).
baseKB:tc(2, 3).
baseKB:tc(3, 4).
baseKB:tc(4, 5).
baseKB:tc(5, 6).
baseKB:tc(6, 7).
baseKB:tc(7, 8).
baseKB:tc(8, 9).
baseKB:tc(9, 10).
baseKB:tc(10, 1).
baseKB:tc(1, 3).
baseKB:tc(1, 4).
baseKB:tc(1, 5).
baseKB:tc(1, 6).
baseKB:tc(1, 7).
baseKB:tc(1, 8).
baseKB:tc(1, 9).
baseKB:tc(1, 10).
baseKB:tc(1, 1).
baseKB:tc(2, 4).
baseKB:tc(2, 5).
baseKB:tc(2, 6).
baseKB:tc(2, 7).
baseKB:tc(2, 8).
baseKB:tc(2, 9).
baseKB:tc(2, 10).
baseKB:tc(2, 1).
baseKB:tc(2, 2).
baseKB:tc(3, 5).
baseKB:tc(3, 6).
baseKB:tc(3, 7).
baseKB:tc(3, 8).
baseKB:tc(3, 9).
baseKB:tc(3, 10).
baseKB:tc(3, 1).
baseKB:tc(3, 2).
baseKB:tc(3, 3).
baseKB:tc(4, 6).
baseKB:tc(4, 7).
baseKB:tc(4, 8).
baseKB:tc(4, 9).
baseKB:tc(4, 10).
baseKB:tc(4, 1).
baseKB:tc(4, 2).
baseKB:tc(4, 3).
baseKB:tc(4, 4).
baseKB:tc(5, 7).
baseKB:tc(5, 8).
baseKB:tc(5, 9).
baseKB:tc(5, 10).
baseKB:tc(5, 1).
baseKB:tc(5, 2).
baseKB:tc(5, 3).
baseKB:tc(5, 4).
baseKB:tc(5, 5).
baseKB:tc(6, 8).
baseKB:tc(6, 9).
baseKB:tc(6, 10).
baseKB:tc(6, 1).
baseKB:tc(6, 2).
baseKB:tc(6, 3).
baseKB:tc(6, 4).
baseKB:tc(6, 5).
baseKB:tc(6, 6).
baseKB:tc(7, 9).
baseKB:tc(7, 10).
baseKB:tc(7, 1).
baseKB:tc(7, 2).
baseKB:tc(7, 3).
baseKB:tc(7, 4).
baseKB:tc(7, 5).
baseKB:tc(7, 6).
baseKB:tc(7, 7).
baseKB:tc(8, 10).
baseKB:tc(8, 1).
baseKB:tc(8, 2).
baseKB:tc(8, 3).
baseKB:tc(8, 4).
baseKB:tc(8, 5).
baseKB:tc(8, 6).
baseKB:tc(8, 7).
baseKB:tc(8, 8).
baseKB:tc(9, 1).
baseKB:tc(9, 2).
baseKB:tc(9, 3).
baseKB:tc(9, 4).
baseKB:tc(9, 5).
baseKB:tc(9, 6).
baseKB:tc(9, 7).
baseKB:tc(9, 8).
baseKB:tc(9, 9).
baseKB:tc(10, 2).
baseKB:tc(10, 3).
baseKB:tc(10, 4).
baseKB:tc(10, 5).
baseKB:tc(10, 6).
baseKB:tc(10, 7).
baseKB:tc(10, 8).
baseKB:tc(10, 9).
baseKB:tc(10, 10).

:- dynamic tc/2.
:- multifile tc/2.
:- public tc/2.
:- module_transparent tc/2.

tc(A, B) :-
        zwc,
        inherit_above(user, tc(A, B)).