currentClause failFuncs ignoredCls indseqArgs initState modName optAnyResult optFailFuncs optHelp optLoad optNoWarn optOutput optTime optVerb prolog2Curry prologCons prologPreds resultArgs setModName showIndSeqArgs showResultArgs useAnalysis useLists withDemand withFunctions withInline