interProlog