title: Creating a delayed constraint using the unity term manipulator in prolog
body: <p>This is my arithmetic inequality expression in prolog:</p>
  
  <pre><code>2*X + 3*Y &gt; 4*Z
  </code></pre>
  
  <p>I used the unity term manipulator like this:</p>
  
  <pre><code>Expr =.. [Op, Lhs, Rhs]
  </code></pre>
  
  <p>And now I have <code>Lhs = 2*X + 3*Y, Rhs as 4*Z and Op as &gt;</code>
  Everything fine till now.</p>
  
  <p>What I want is to construct a delayed goal using the IC library in Eclipse Prolog for this expression.
  Example, I want a newly created variable to assigned like this:</p>
  
  <pre><code>Eq = (Lhs #Op Rhs)  %meaning, Eq = (2*X + 3*Y #&gt; 4*Z)
  </code></pre>
  
  <p>Now, since the required inequality (in this case >), is stored in Op, though I use <code>Eq = (Lhs #Op Rhs)</code>, eclipse is returning error.</p>
  
  <p>How do i create this delayed constraint, when my operator is to be taken from the variable Op?
  Thank You.</p>