+static struct fml_node *fml_exec_ne (Fml fml, struct fml_node *l,
+ struct fml_node *r)
+{
+ int left_val, right_val;
+ struct fml_node *fn;
+ fml_lr_values (l, &left_val, r, &right_val);
+ if (left_val != right_val)
+ {
+ fn = fml_node_alloc (fml);
+ fn->is_atom = 1;
+ fn->p[0] = fml_atom_alloc (fml, "1");
+ }
+ else
+ fn = NULL;
+ return fn;
+}
+
+static struct fml_node *fml_exec_le (Fml fml, struct fml_node *l,
+ struct fml_node *r)
+{
+ int left_val, right_val;
+ struct fml_node *fn;
+ fml_lr_values (l, &left_val, r, &right_val);
+ if (left_val <= right_val)
+ {
+ fn = fml_node_alloc (fml);
+ fn->is_atom = 1;
+ fn->p[0] = fml_atom_alloc (fml, "1");
+ }
+ else
+ fn = NULL;
+ return fn;
+}
+
+static struct fml_node *fml_exec_ge (Fml fml, struct fml_node *l,
+ struct fml_node *r)
+{
+ int left_val, right_val;
+ struct fml_node *fn;
+ fml_lr_values (l, &left_val, r, &right_val);
+ if (left_val >= right_val)
+ {
+ fn = fml_node_alloc (fml);
+ fn->is_atom = 1;
+ fn->p[0] = fml_atom_alloc (fml, "1");
+ }
+ else
+ fn = NULL;
+ return fn;
+}
+