Computational_logic loading ...