title: Query on Datalog Least Fixpoint Evaluation
body: <p>Can someone help me with this? Is the following statement true?</p>
  
  <blockquote>
    <p>If a least fixpoint evaluation of a datalog program does not terminate, then the least model must be infinite</p>
  </blockquote>
  
  <p>My Answer:</p>
  
  <blockquote>
    <p>Yes, it is True, as in cases of function, the least fixpoint evaluation would not terminate.</p>
  </blockquote>
  
  <p>Thank you</p>