- started implementing prolog management