Publication | Closed Access

The execution algorithm of mercury, an efficient purely declarative logic programming language

Applied LogicComputational LogicDeclarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningFormal MethodsSoftware AnalysisWell-founded SemanticsComputer ScienceFormal VerificationLogic ProgrammingExecution Algorithm