OPTYap

swMATH13883MaRDI QIDQ25794FDOQ25794

Author name not available (Why is that?)

Official website: https://github.com/vscosta/yap-6.3/tree/master/OPTYap

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 (33)

• VeriFly
• 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
• DASWAM
• clpfd
• CDAOstore
• wamcc
• B-Prolog
• YAP-Prolog
• PhyloWS
• Kernel-LEAF
• OpenRuleBench
• WebPIE
• CAT
• XcelLog
• XSB
• YapOr
• YapTab
• GHC
• PARLOG
• April
• HaLoop
• SWISH DataLab
• tuProlog
• 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