type Pedido = tuple
        id: nat
        cost_a: nat
        cost_b: nat
        value: nat
        end tuple

{- Parámetros:
    p: arreglo de pedidos,
    i: iésimo pedido considerado, 
    j: materia prima A disponible, 
    k: materia prima B disponible 
-}

fun valor(p: array [1..n] of Pedido, i: nat, j: nat, k: nat) ret v: nat
    if i = 0 then
        v := 0
    else if p[i].cost_a > j  or p[i].cost_b then
        v := -inf
    else
        v := max(p[i].value + valor(p, i - 1, j - p[i].cost_a, k - p[i].cost_b),
                valor(p, i - 1, j, k)
                )
   fi
endfun