{"id":"https://openalex.org/W2522894021","doi":"https://doi.org/10.1017/s1471068416000296","title":"On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores","display_name":"On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2522894021","doi":"https://doi.org/10.1017/s1471068416000296","mag":"2522894021"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068416000296","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068416000296","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://repositorio.inesctec.pt/handle/123456789/5467","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101711773","display_name":"J\u00f5ao Santos","orcid":"https://orcid.org/0000-0002-8258-7807"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"J\u00d5AO SANTOS","raw_affiliation_strings":["CRACS & INESC TEC and Faculty of Sciences, University of Porto, Rua do Campo Alegre, 1021, 4169-007 Porto, Portugal (e-mail:"],"affiliations":[{"raw_affiliation_string":"CRACS & INESC TEC and Faculty of Sciences, University of Porto, Rua do Campo Alegre, 1021, 4169-007 Porto, Portugal (e-mail:","institution_ids":["https://openalex.org/I182534213","https://openalex.org/I4210166615"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007895512","display_name":"Ricardo Rocha","orcid":"https://orcid.org/0000-0003-4502-8835"},"institutions":[{"id":"https://openalex.org/I182534213","display_name":"Universidade do Porto","ror":"https://ror.org/043pwc612","country_code":"PT","type":"education","lineage":["https://openalex.org/I182534213"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"RICARDO ROCHA","raw_affiliation_strings":["CRACS & INESC TEC and Faculty of Sciences, University of Porto, Rua do Campo Alegre, 1021, 4169-007 Porto, Portugal (e-mail:"],"affiliations":[{"raw_affiliation_string":"CRACS & INESC TEC and Faculty of Sciences, University of Porto, Rua do Campo Alegre, 1021, 4169-007 Porto, Portugal (e-mail:","institution_ids":["https://openalex.org/I182534213","https://openalex.org/I4210166615"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101711773"],"corresponding_institution_ids":["https://openalex.org/I182534213","https://openalex.org/I4210166615"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.05917167,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"16","issue":"5-6","first_page":"899","last_page":"915"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9203771352767944},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.7178627252578735},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6209646463394165},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6076513528823853},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.472741961479187},{"id":"https://openalex.org/keywords/shared-resource","display_name":"Shared resource","score":0.4482031464576721},{"id":"https://openalex.org/keywords/allocator","display_name":"Allocator","score":0.4292001724243164},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39240413904190063},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2581867575645447},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23090976476669312}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9203771352767944},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.7178627252578735},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6209646463394165},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6076513528823853},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.472741961479187},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.4482031464576721},{"id":"https://openalex.org/C162262903","wikidata":"https://www.wikidata.org/wiki/Q343527","display_name":"Allocator","level":2,"score":0.4292001724243164},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39240413904190063},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2581867575645447},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23090976476669312},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068416000296","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068416000296","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:repositorio.inesctec.pt:123456789/5467","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/5467","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"}],"best_oa_location":{"id":"pmh:oai:repositorio.inesctec.pt:123456789/5467","is_oa":true,"landing_page_url":"http://repositorio.inesctec.pt/handle/123456789/5467","pdf_url":null,"source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1983662903","https://openalex.org/W1984187667","https://openalex.org/W1985039455","https://openalex.org/W2016462478","https://openalex.org/W2077334793","https://openalex.org/W2082021655","https://openalex.org/W2101333851","https://openalex.org/W2142806484","https://openalex.org/W2592915588","https://openalex.org/W3099730853","https://openalex.org/W4231242816","https://openalex.org/W4233965881"],"related_works":["https://openalex.org/W4252124899","https://openalex.org/W2043640140","https://openalex.org/W2122690624","https://openalex.org/W4250204977","https://openalex.org/W4361194010","https://openalex.org/W17155033","https://openalex.org/W2018768276","https://openalex.org/W4322751585","https://openalex.org/W2586360131","https://openalex.org/W2149245348"],"abstract_inverted_index":{"Abstract":[0],"Nowadays,":[1],"clusters":[2],"of":[3,24,28,37,78,85,99,117,125,157,164,168,182,187],"multicores":[4],"are":[5],"becoming":[6],"the":[7,19,22,35,109,130,155,165,180],"norm":[8],"and,":[9],"although,":[10],"many":[11],"or-parallel":[12,136],"Prolog":[13],"systems":[14],"have":[15,47],"been":[16],"developed":[17],"in":[18,138,170],"past,":[20],"to":[21,33,112,132,149,174,192],"best":[23],"our":[25,139,145],"knowledge,":[26],"none":[27],"them":[29],"was":[30],"specially":[31,53],"designed":[32,54],"explore":[34],"combination":[36,57],"shared":[38],"and":[39,81,102,107,173],"distributed":[40],"memory":[41,71,89],"architectures.":[42],"In":[43,91],"recent":[44],"work,":[45,93],"we":[46,74,94,105,153,178],"proposed":[48],"a":[49,60,76,96,122,171,193],"novel":[50],"computational":[51],"model":[52,62,101],"for":[55,68,83,103],"such":[56,100],"which":[58,73],"introduces":[59],"layered":[61],"with":[63,134],"two":[64],"scheduling":[65],"levels,":[66],"one":[67],"workers":[69,79,86,158],"sharing":[70,88],"resources,":[72],"named":[75],"team":[77],",":[80],"another":[82],"teams":[84,116],"(not":[87],"resources).":[90],"this":[92],"present":[95],"first":[97],"implementation":[98,146],"that":[104,128,144],"revive":[106],"extend":[108],"YapOr":[110],"system":[111],"exploit":[113],"or-parallelism":[114],"between":[115],"workers.":[118],"We":[119],"also":[120],"propose":[121],"new":[123],"set":[124],"built-in":[126],"predicates":[127],"constitute":[129],"syntax":[131],"interact":[133],"an":[135],"engine":[137],"platform.":[140],"Experimental":[141],"results":[142],"show":[143],"is":[147],"able":[148],"increase":[150,154,175,179],"speedups":[151,176],"as":[152,177],"number":[156,167,181],"per":[159],"team,":[160],"thus":[161,184],"taking":[162,185],"advantage":[163,186],"maximum":[166],"cores":[169],"machine,":[172],"teams,":[183],"adding":[188],"more":[189],"computer":[190],"nodes":[191],"cluster.":[194]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}