Kb-prolog