Prolog Development Center Knowledge Base