Publication | Closed Access

Towards a pipelined Prolog processor

Declarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningFormal MethodsComputer EngineeringParallel ProgrammingComputer ScienceInductive Logic ProgrammingPipelined Prolog ProcessorFormal VerificationLogic Programming