<?xml version="1.0" encoding="UTF-8" ?>
<oai_dc:dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title>&ACE: A high-performance parallel prolog system</dc:title>
<dc:creator>Gopal Gupta, Enrico Pontelli</dc:creator>
<dc:creator>Hermenegildo, Manuel V.</dc:creator>
<dc:subject>Informática</dc:subject>
<dc:description>In recent years a lot of research has been invested in parallel processing of numerical applications. However, parallel processing of Symbolic and AI applications has received less attention. This paper presents a system for parallel symbolic computitig, narned ACE, based on the logic programming paradigm. ACE is a computational model for the full Prolog language, capable of exploiting Or-parall< lism and Independent And-parallelism. In this paper vve focus on the implementation of the and-parallel part of the ACE system (ralled &ACE) on a shared memory multiprocessor, d< scribing its organization, some optimizations, and presenting some performance figures, proving the abilhy of &ACE to efficiently exploit parallelism.</dc:description>
<dc:publisher>Facultad de Informática (UPM)</dc:publisher>
<dc:rights>https://creativecommons.org/licenses/by-nc-nd/3.0/es/</dc:rights>
<dc:date>1995</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:type>Ponencia en Congreso o Jornada</dc:type>
<dc:source>IPPS '95 Proceedings of the 9th International Symposium on Parallel | 9th International Symposium on Parallel Processing | 25-28 Apr 1995 |</dc:source>
<dc:type>PeerReviewed</dc:type>
<dc:format>application/pdf</dc:format>
<dc:language>eng</dc:language>
<dc:relation>http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=395891&tag=1</dc:relation>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:identifier>https://oa.upm.es/14427/</dc:identifier>
</oai_dc:dc>
<?xml version="1.0" encoding="UTF-8" ?>
<didl:DIDL DIDLDocumentId="https://oa.upm.es/id/eprint/14427" schemaLocation="urn:mpeg:mpeg21:2002:02-DIDL-NS http://standards.iso.org/ittf/PubliclyAvailableStandards/MPEG-21_schema_files/did/didl.xsd urn:mpeg:mpeg21:2002:01-DII-NS http://standards.iso.org/ittf/PubliclyAvailableStandards/MPEG-21_schema_files/dii/dii.xsd urn:mpeg:mpeg21:2005:01-DIP-NS http://standards.iso.org/ittf/PubliclyAvailableStandards/MPEG-21_schema_files/dip/dip.xsd">
<didl:Item>
<didl:Descriptor>
<didl:Statement mimeType="application/xml">
<dii:Identifier>https://oa.upm.es/id/eprint/14427</dii:Identifier>
</didl:Statement>
</didl:Descriptor>
<didl:Descriptor>
<didl:Statement mimeType="application/xml">
<dcterms:modified>2023-02-27T12:14:08Z</dcterms:modified>
</didl:Statement>
</didl:Descriptor>
<didl:Component>
</didl:Component>
<didl:Item>
<didl:Descriptor>
<didl:Statement mimeType="application/xml">
<dip:ObjectType>info:eu-repo/semantics/descriptiveMetadata</dip:ObjectType>
</didl:Statement>
</didl:Descriptor>
<didl:Component>
<didl:Resource mimeType="application/xml">
<oai_dc:dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title>&ACE: A high-performance parallel prolog system</dc:title>
<dc:creator>Gopal Gupta, Enrico Pontelli</dc:creator>
<dc:creator>Hermenegildo, Manuel V.</dc:creator>
<dc:subject>Informática</dc:subject>
<dc:description>In recent years a lot of research has been invested in parallel processing of numerical applications. However, parallel processing of Symbolic and AI applications has received less attention. This paper presents a system for parallel symbolic computitig, narned ACE, based on the logic programming paradigm. ACE is a computational model for the full Prolog language, capable of exploiting Or-parall< lism and Independent And-parallelism. In this paper vve focus on the implementation of the and-parallel part of the ACE system (ralled &ACE) on a shared memory multiprocessor, d< scribing its organization, some optimizations, and presenting some performance figures, proving the abilhy of &ACE to efficiently exploit parallelism.</dc:description>
<dc:publisher>Facultad de Informática (UPM)</dc:publisher>
<dc:rights>https://creativecommons.org/licenses/by-nc-nd/3.0/es/</dc:rights>
<dc:date>1995</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:type>Ponencia en Congreso o Jornada</dc:type>
<dc:source>IPPS '95 Proceedings of the 9th International Symposium on Parallel | 9th International Symposium on Parallel Processing | 25-28 Apr 1995 |</dc:source>
<dc:type>PeerReviewed</dc:type>
<dc:format>application/pdf</dc:format>
<dc:language>eng</dc:language>
<dc:relation>http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=395891&tag=1</dc:relation>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:identifier>https://oa.upm.es/14427/</dc:identifier>
</oai_dc:dc>
</didl:Resource>
</didl:Component>
</didl:Item>
<didl:Item>
<didl:Descriptor>
<didl:Statement mimeType="application/xml">
<dip:ObjectType>info:eu-repo/semantics/objectFile</dip:ObjectType>
</didl:Statement>
</didl:Descriptor>
<didl:Component>
</didl:Component>
</didl:Item>
<didl:Item>
<didl:Descriptor>
<didl:Statement mimeType="application/xml">
<dip:ObjectType>info:eu-repo/semantics/humanStartPage</dip:ObjectType>
</didl:Statement>
</didl:Descriptor>
<didl:Component>
</didl:Component>
</didl:Item>
</didl:Item>
</didl:DIDL>
<?xml version="1.0" encoding="UTF-8" ?>
<mets:mets LABEL="Eprints Item" OBJID="eprint_14427" schemaLocation="http://www.loc.gov/METS/ http://www.loc.gov/standards/mets/mets.xsd http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-3.xsd">
<mets:metsHdr CREATEDATE="2023-03-31T13:51:12Z">
<mets:agent ROLE="CUSTODIAN" TYPE="ORGANIZATION">
<mets:name>Archivo Digital UPM</mets:name>
</mets:agent>
</mets:metsHdr>
<mets:dmdSec ID="DMD_eprint_14427_mods">
<mets:mdWrap MDTYPE="MODS">
<mets:xmlData>
<mods:titleInfo>
<mods:title>&ACE: A high-performance parallel prolog system</mods:title>
</mods:titleInfo>
<mods:name type="personal">
<mods:namePart type="given">Enrico Pontelli</mods:namePart>
<mods:namePart type="family">Gopal Gupta</mods:namePart>
<mods:role>
<mods:roleTerm type="text">author</mods:roleTerm>
</mods:role>
</mods:name>
<mods:name type="personal">
<mods:namePart type="given">Manuel V.</mods:namePart>
<mods:namePart type="family">Hermenegildo</mods:namePart>
<mods:role>
<mods:roleTerm type="text">author</mods:roleTerm>
</mods:role>
</mods:name>
<mods:abstract>In recent years a lot of research has been invested in parallel processing of numerical applications. However, parallel processing of Symbolic and AI applications has received less attention. This paper presents a system for parallel symbolic computitig, narned ACE, based on the logic programming paradigm. ACE is a computational model for the full Prolog language, capable of exploiting Or-parall< lism and Independent And-parallelism. In this paper vve focus on the implementation of the and-parallel part of the ACE system (ralled &ACE) on a shared memory multiprocessor, d< scribing its organization, some optimizations, and presenting some performance figures, proving the abilhy of &ACE to efficiently exploit parallelism.</mods:abstract>
<mods:classification authority="lcc">Informática</mods:classification>
<mods:originInfo>
<mods:dateIssued encoding="iso8601">1995</mods:dateIssued>
</mods:originInfo>
<mods:originInfo>
<mods:publisher>IEEE Computer Society</mods:publisher>
</mods:originInfo>
<mods:genre>Ponencia en Congreso o Jornada</mods:genre>
</mets:xmlData>
</mets:mdWrap>
</mets:dmdSec>
<mets:amdSec ID="TMD_eprint_14427">
<mets:rightsMD ID="rights_eprint_14427_mods">
<mets:mdWrap MDTYPE="MODS">
<mets:xmlData>
<mods:useAndReproduction>
<p>
<strong>De cara a formalizar correctamente todas las fases del proceso de autoarchivo, es MUY IMPORTANTE que lea y comprenda en su totalidad el contenido de las siguientes normas y los términos de esta licencia, antes de expresar su consentimiento y aceptación mediante un clic en el botón de ACEPTAR. A estos efectos el repositorio se denomina Archivo Digital UPM con la siguiente dirección de contacto archivo.digital@upm.es.</strong>
</p>
<p>El autor declara que es el titular de los derechos de propiedad intelectual, objeto de la presente cesión, en relación con la obra que autoarchiva, que ésta es una obra original, y que ostenta la condición de autor de esta obra.</p>
<p>En caso de ser cotitular de tales derechos, el autor declara que cuenta con la autorización de los restantes titulares para hacer la presente cesión, y que los nombres de todos los coautores aparecen mencionados en la obra.</p>
<p>En caso de previa cesión a terceros de derechos de explotación de la obra, el autor declara que tiene la oportuna reserva o autorización de dichos titulares de derechos a los fines de esta cesión.</p>
<p>Con el fin de dar la máxima difusión a esta obra a través de internet, el autor cede a la Universidad Politécnica de Madrid, de forma gratuita y no exclusiva, por el máximo plazo legal y con ámbito universal, los derechos de reproducción, de distribución, de comunicación pública, incluido el derecho de puesta a disposición electrónica, para que pueda ser utilizada de forma libre y gratuita por todos los usuarios de internet, siempre que se cite su autoría y su uso se ajuste a las licencia Creative Commons elegida. Se entienden autorizados todos los actos necesarios para el registro de la obra, su seguridad y su conservación.</p>
<p>El autor garantiza que el compromiso que aquí adquiere no infringe ningú n derecho de propiedad industrial, intelectual, derecho al honor, intimidad, o imagen, o cualquier otro derecho de terceros.</p>
<p>El autor asume toda reclamación que pudiera ejercitarse contra la Universidad por terceros que vieran infringidos sus derechos a causa de la cesión.</p>
<p>El autor renuncia a cualquier reclamación frente a la Universidad por las formas no ajustadas a la legislación vigente en que los usuarios hagan uso de las obras.</p>
<p>El autor podrá solicitar la retirada de la obra del repositorio por causa justificada. A tal fin deberá ponerse en contacto con archivo.digital@upm.es. Asimismo, el repositorio podrá retirar la obra, previa notificación al autor, en supuestos suficientemente justificados, o en caso de reclamaciones de terceros. El autor será convenientemente notificado de cualquier reclamación que puedan formular terceras personas en relación con la obra.</p>
<p>
<strong>Para trabajos depositados por otros que no sean su autor:</strong>
<strong>UPM</strong>
</p>
<p>Pulsar en el botón de depósitar E-print Ahora indica su aceptación de estos términos.</p>
</mods:useAndReproduction>
</mets:xmlData>
</mets:mdWrap>
</mets:rightsMD>
</mets:amdSec>
<mets:fileSec>
<mets:fileGrp USE="reference">
<mets:file ID="eprint_14427_18963_1" MIMETYPE="application/pdf" OWNERID="https://oa.upm.es/14427/1/HERME_ARC_1995-6.pdf" SIZE="797385">
</mets:file>
</mets:fileGrp>
</mets:fileSec>
<mets:structMap>
<mets:div ADMID="TMD_eprint_14427" DMDID="DMD_eprint_14427_mods">
</mets:div>
</mets:structMap>
</mets:mets>
<?xml version="1.0" encoding="UTF-8" ?>
<?xml version="1.0" encoding="UTF-8" ?>
<rdf:RDF>
<rdf:Description about="">
<rdfs:comment datatype="http://www.w3.org/2001/XMLSchema#string">The repository administrator has not yet configured an RDF license.</rdfs:comment>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/14427/1/HERME_ARC_1995-6.pdf">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">HERME_ARC_1995-6.pdf</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/14427/3/indexcodes.txt">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">indexcodes.txt</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/14427/4/lightbox.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">lightbox.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/14427/5/preview.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">preview.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/14427/6/medium.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">medium.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/14427/7/small.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">small.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/14427/">
<dc:format>text/html</dc:format>
<dc:title>HTML Summary of #14427 &ACE: A high-performance parallel prolog system</dc:title>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/document/18963">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&ACE: A high-performance parallel prolog system (PDF (Portable Document Format))</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/document/61882">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&ACE: A high-performance parallel prolog system (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/document/224645">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&ACE: A high-performance parallel prolog system (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/document/224647">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&ACE: A high-performance parallel prolog system (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/document/224651">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&ACE: A high-performance parallel prolog system (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/document/224656">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&ACE: A high-performance parallel prolog system (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/eprint/14427#authors">
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/eprint/14427">
<bibo:abstract datatype="http://www.w3.org/2001/XMLSchema#string">In recent years a lot of research has been invested in parallel processing of numerical applications. However, parallel processing of Symbolic and AI applications has received less attention. This paper presents a system for parallel symbolic computitig, narned ACE, based on the logic programming paradigm. ACE is a computational model for the full Prolog language, capable of exploiting Or-parall< lism and Independent And-parallelism. In this paper vve focus on the implementation of the and-parallel part of the ACE system (ralled &ACE) on a shared memory multiprocessor, d< scribing its organization, some optimizations, and presenting some performance figures, proving the abilhy of &ACE to efficiently exploit parallelism.</bibo:abstract>
<dct:date>1995</dct:date>
<dct:title datatype="http://www.w3.org/2001/XMLSchema#string">&ACE: A high-performance parallel prolog system</dct:title>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/subject/informatica">
<skos:prefLabel lang="en">Computer Science</skos:prefLabel>
<skos:prefLabel lang="es">Informática</skos:prefLabel>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/event/ext-33a61941a42478c503703fcdc8aefe61">
<dct:title datatype="http://www.w3.org/2001/XMLSchema#string">9th International Symposium on Parallel Processing</dct:title>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/org/ext-6e26988c8292728c4bb1a3a8b2d9a9fa">
<foaf:name datatype="http://www.w3.org/2001/XMLSchema#string">IEEE Computer Society</foaf:name>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/person/ext-48d7a93e809e78645b218ba091fafc66">
<foaf:familyName datatype="http://www.w3.org/2001/XMLSchema#string">Gopal Gupta</foaf:familyName>
<foaf:givenName datatype="http://www.w3.org/2001/XMLSchema#string">Enrico Pontelli</foaf:givenName>
<foaf:name datatype="http://www.w3.org/2001/XMLSchema#string">Enrico Pontelli Gopal Gupta</foaf:name>
</rdf:Description>
<rdf:Description about="https://oa.upm.es/id/person/ext-0541168267a11406f22df16410494a93">
<foaf:familyName datatype="http://www.w3.org/2001/XMLSchema#string">Hermenegildo</foaf:familyName>
<foaf:givenName datatype="http://www.w3.org/2001/XMLSchema#string">Manuel V.</foaf:givenName>
<foaf:name datatype="http://www.w3.org/2001/XMLSchema#string">Manuel V. Hermenegildo</foaf:name>
</rdf:Description>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8" ?>