OPTYap

swMATH13883MaRDI QIDQ25794

No author found.

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

Related Items (11)

XSB: Extending Prolog with Tabled Logic Programming ⋮ Euro-Par 2004 Parallel Processing ⋮ Table space designs for implicit and explicit concurrent tabled evaluation ⋮ Infinite probability computation by cyclic explanation graphs ⋮ Unnamed Item ⋮ Towards multi-threaded local tabling using a common table space ⋮ Logic Programming ⋮ Retroactive Subsumption-Based Tabled Evaluation of Logic Programs ⋮ Co-Logic Programming: Extending Logic Programming with Coinduction ⋮ Concurrent and Local Evaluation of Normal Programs ⋮ Logic Programming

This page was built for software: OPTYap