/prolog/facts/