OPTYap

swMATH13883MaRDI QIDQ25794FDOQ25794

Author name not available (Why is that?)

Source code repository: https://github.com/vscosta/yap-6.3/tree/master/OPTYap

Described by source

• On applying or-parallelism and tabling to logic programs

Cited In (11)

• Infinite probability computation by cyclic explanation graphs
• Euro-Par 2004 Parallel Processing
• Logic Programming
• XSB: extending Prolog with tabled logic programming
• Logic Programming
• Concurrent and Local Evaluation of Normal Programs
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Table space designs for implicit and explicit concurrent tabled evaluation
• Towards multi-threaded local tabling using a common table space
• Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
• Title not available (Why is that?)

This page was built for software: OPTYap