logistic.maude

fmod LOGISTIC is
    pr FLOAT .
    pr LIST*{Float} .
    
    vars X R : Float .
    vars N   : Nat .
    var  Acc : List{Float} .

    op logistic : Float Float Nat -> List{Float} .
    eq logistic(X, R, N) = $logistic(X, R, N, []) .

    op $logistic : Float Float Nat List{Float} -> List{Float} .
    eq $logistic(X, R, 0, Acc) = Acc .
    eq $logistic(X, R, N, Acc) =
	$logistic((X * R * (1.0 - X)), R, dec(N), append(Acc, [X])) .

    op dec : NzNat -> Nat .
    eq dec(s N) = N .
endfm