MaudeTypedLog: A Typed Interpreter for Prolog in Maude | Digital Library | PAMCET | PAMCET