module Prolog::Services