Control engineering environments in DB-Prolog | IEEE Conference Publication | IEEE Xplore