OPTYap

MaRDI QIDQ25794swMATHFDO

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

(34)

• Infinite probability computation by cyclic explanation graphs
• Euro-Par 2004 Parallel Processing
• Logic Programming
• XSB: extending Prolog with tabled logic programming
• Logic Programming
• HYPROLOG
• 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
• Concurrent and Local Evaluation of Normal Programs
• VeriFly
• Table space designs for implicit and explicit concurrent tabled evaluation
• Co-Logic Programming: Extending Logic Programming with Coinduction
• Towards multi-threaded local tabling using a common table space
• Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
• scientific article; zbMATH DE number 2085268 (Why is no real title available?)

This page was built for software: OPTYap