Comparative Study of the Inference Mechanisms in PROLOG and SPIDER. - Golemanova, Emilia; Golemanov, Tzanko; Kratchanov, Kostadin (TEM Journal, 2018)