module Prolog