<?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>&-prolog and its performance: exploiting independent and-parallelism</dc:title>
<dc:creator>Hermenegildo, Manuel V.</dc:creator>
<dc:creator>Greene, K. J.</dc:creator>
<dc:subject>Informática</dc:subject>
<dc:description>An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided for a collection of benchmark programs which demónstrate significant speed advantages over state-of the art sequential systems.</dc:description>
<dc:publisher>Facultad de Informática (UPM)</dc:publisher>
<dc:rights>http://creativecommons.org/licenses/by-nc-nd/3.0/es/</dc:rights>
<dc:date>1990-06</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:type>Ponencia en Congreso o Jornada</dc:type>
<dc:source>Logic Programming, Proceedings of the Seventh International Conference | Seventh International Conference on Logic Programming | June 18-20, 1990 | Jerusalem, Israel</dc:source>
<dc:type>PeerReviewed</dc:type>
<dc:format>application/pdf</dc:format>
<dc:language>eng</dc:language>
<dc:relation>http://oa.upm.es/14497/1/HERME_ARC_1990-4.pdf</dc:relation>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:identifier>http://oa.upm.es/14497/</dc:identifier>
</oai_dc:dc>
<?xml version="1.0" encoding="UTF-8" ?>
<didl:DIDL DIDLDocumentId="http://oa.upm.es/id/eprint/14497" 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>http://oa.upm.es/id/eprint/14497</dii:Identifier>
</didl:Statement>
</didl:Descriptor>
<didl:Descriptor>
<didl:Statement mimeType="application/xml">
<dcterms:modified>2016-04-21T14:12:03Z</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>&-prolog and its performance: exploiting independent and-parallelism</dc:title>
<dc:creator>Hermenegildo, Manuel V.</dc:creator>
<dc:creator>Greene, K. J.</dc:creator>
<dc:subject>Informática</dc:subject>
<dc:description>An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided for a collection of benchmark programs which demónstrate significant speed advantages over state-of the art sequential systems.</dc:description>
<dc:publisher>Facultad de Informática (UPM)</dc:publisher>
<dc:rights>http://creativecommons.org/licenses/by-nc-nd/3.0/es/</dc:rights>
<dc:date>1990-06</dc:date>
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
<dc:type>Ponencia en Congreso o Jornada</dc:type>
<dc:source>Logic Programming, Proceedings of the Seventh International Conference | Seventh International Conference on Logic Programming | June 18-20, 1990 | Jerusalem, Israel</dc:source>
<dc:type>PeerReviewed</dc:type>
<dc:format>application/pdf</dc:format>
<dc:language>eng</dc:language>
<dc:relation>http://oa.upm.es/14497/1/HERME_ARC_1990-4.pdf</dc:relation>
<dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
<dc:identifier>http://oa.upm.es/14497/</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_14497" 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="2016-05-11T20:24:27Z">
<mets:agent ROLE="CUSTODIAN" TYPE="ORGANIZATION">
<mets:name>Archivo Digital UPM</mets:name>
</mets:agent>
</mets:metsHdr>
<mets:dmdSec ID="DMD_eprint_14497_mods">
<mets:mdWrap MDTYPE="MODS">
<mets:xmlData>
<mods:titleInfo>
<mods:title>&-prolog and its performance: exploiting independent and-parallelism</mods:title>
</mods:titleInfo>
<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:name type="personal">
<mods:namePart type="given">K. J.</mods:namePart>
<mods:namePart type="family">Greene</mods:namePart>
<mods:role>
<mods:roleTerm type="text">author</mods:roleTerm>
</mods:role>
</mods:name>
<mods:abstract>An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided for a collection of benchmark programs which demónstrate significant speed advantages over state-of the art sequential systems.</mods:abstract>
<mods:classification authority="lcc">Informática</mods:classification>
<mods:originInfo>
<mods:dateIssued encoding="iso8061">1990-06</mods:dateIssued>
</mods:originInfo>
<mods:originInfo>
<mods:publisher>MIT Press</mods:publisher>
</mods:originInfo>
<mods:genre>Ponencia en Congreso o Jornada</mods:genre>
</mets:xmlData>
</mets:mdWrap>
</mets:dmdSec>
<mets:amdSec ID="TMD_eprint_14497">
<mets:rightsMD ID="rights_eprint_14497_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_14497_19036_1" MIMETYPE="application/pdf" OWNERID="http://oa.upm.es/14497/1/HERME_ARC_1990-4.pdf" SIZE="1332566">
</mets:file>
</mets:fileGrp>
</mets:fileSec>
<mets:structMap>
<mets:div ADMID="TMD_eprint_14497" DMDID="DMD_eprint_14497_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="http://oa.upm.es/14497/1/HERME_ARC_1990-4.pdf">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">HERME_ARC_1990-4.pdf</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/14497/3/indexcodes.txt">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">indexcodes.txt</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/14497/4/lightbox.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">lightbox.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/14497/5/preview.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">preview.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/14497/6/medium.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">medium.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/14497/7/small.jpg">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">small.jpg</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/14497/">
<dc:format>text/html</dc:format>
<dc:title>HTML Summary of #14497 &-prolog and its performance: exploiting independent and-parallelism</dc:title>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/document/19036">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&-prolog and its performance: exploiting independent and-parallelism (Pdf)</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/document/61946">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&-prolog and its performance: exploiting independent and-parallelism (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/document/225908">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&-prolog and its performance: exploiting independent and-parallelism (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/document/225910">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&-prolog and its performance: exploiting independent and-parallelism (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/document/225913">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&-prolog and its performance: exploiting independent and-parallelism (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/document/225915">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">&-prolog and its performance: exploiting independent and-parallelism (Otro)</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/eprint/14497#authors">
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/eprint/14497">
<bibo:abstract datatype="http://www.w3.org/2001/XMLSchema#string">An Independent And-Parallel Prolog model and implementation, &-Prolog, are described. The description includes a summary of the system's architecture, some details of its execution model (based on the RAP-WAM model), and most importantly, its performance on sequential workstations and shared memory multiprocessors as compared with state-of-the-art Prolog systems. Speedup curves are provided for a collection of benchmark programs which demónstrate significant speed advantages over state-of the art sequential systems.</bibo:abstract>
<dct:date>1990-06</dct:date>
<dct:title datatype="http://www.w3.org/2001/XMLSchema#string">&-prolog and its performance: exploiting independent and-parallelism</dct:title>
</rdf:Description>
<rdf:Description about="http://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="http://oa.upm.es/id/event/ext-70f14e5d2ff4032c20c68d2c1357cef9">
<dct:title datatype="http://www.w3.org/2001/XMLSchema#string">Seventh International Conference on Logic Programming</dct:title>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/location/ext-ddc65959ad0ab78a3f8f766f8cccac4a">
<rdfs:label datatype="http://www.w3.org/2001/XMLSchema#string">Jerusalem, Israel</rdfs:label>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/org/ext-982454d1b5cc5d2fd8e6feed9582efc8">
<foaf:name datatype="http://www.w3.org/2001/XMLSchema#string">MIT Press</foaf:name>
</rdf:Description>
<rdf:Description about="http://oa.upm.es/id/person/ext-7a5d09394e48f273b67ec5b7885e9822">
<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:Description about="http://oa.upm.es/id/person/ext-ded5bb30a4672e988e7a29afb1a12ef8">
<foaf:familyName datatype="http://www.w3.org/2001/XMLSchema#string">Greene</foaf:familyName>
<foaf:givenName datatype="http://www.w3.org/2001/XMLSchema#string">K. J.</foaf:givenName>
<foaf:name datatype="http://www.w3.org/2001/XMLSchema#string">K. J. Greene</foaf:name>
</rdf:Description>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8" ?>