module aconseq.
  
  accumulate afact.
  
  conseq :- fact.