<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_b3f1h4g2c2tiec5m25sv9r7ove, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
Basic idea: Connect Java and NL.

Example problem: Compare two numbers.

We need a MICROTHEORY and a PROGRAM.

MICROTHEORY:

  Two numbers A and B can be compared using "bigint(A).compareTo(bigint(B))".

For this microtheory, there will also exist a program that parses and "runs" it.

PROGRAM (PSEUDO-CODE):

  // prepare

  matchRule("Two numbers $1 and $2 can be compared using $3.");
  S a, b, code = $1, $2, $3;

  // answer
  
  if (matchInput("Is $1 bigger than $2?")) {
    int x = evalWith(code, a, $1, b, $2);
    ret x > 0 ? "yes" : "no";
  }

And that's it for this example.