Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/5464
Title: Batched Evaluation of Full-Sharing Multithreaded Tabling
Authors: Miguel Gonçalves Areias
Ricardo Rocha
Issue Date: 2015
Abstract: Tabling is a technique that overcomes some limitations of traditional Prolog systems in dealing with redundant sub-computations and recursion. When tabling is combined with multithreading, we have the best of both worlds, since we can exploit the combination of higher declarative semantics with higher procedural control. To support this combination, the Yap Prolog system has, at engine level, multiple designs that vary from a No-Sharing design, where each thread allocates fully private tables, to a Full-Sharing (FS) design, where threads share the complete table space. In this work, we propose an extension to the table space data structures, which we named Private Answer Chaining (PAC), as way to support batched scheduling evaluation with the FS design. Batched scheduling is one of the most successful tabling scheduling strategies, known to be useful when a tabled logic program requires an eager propagation of answers and/or do not requires the complete set of answers to be found. Experimental results show that PAC is a good first approach, since with it the FS design remains quite competitive.
URI: http://repositorio.inesctec.pt/handle/123456789/5464
http://dx.doi.org/10.1007/978-3-319-27653-3_11
metadata.dc.type: conferenceObject
Publication
Appears in Collections:CRACS - Indexed Articles in Conferences

Files in This Item:
File Description SizeFormat 
P-00K-32P.pdf164.14 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.