Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Freeze, indexing, and other implementation issues in the WAM
RISE., Swedish ICT, SICS, Computer Systems Laboratory.ORCID-id: 0000-0003-3079-8095
1986 (Engelska)Rapport (Övrigt vetenskapligt)
Abstract [en]

Two very useful extensions to Prolog's computation model, dif and freeze were introduced with Prolog II. A method for their incorporation into the Warren Abstract Machine is presented. Under reasonable assumptions, the method does not incur any overhead on programs not using these extensions. The clause indexing mechanism is also discussed, as it is not unrelated to the freeze mechanism.

Ort, förlag, år, upplaga, sidor
Swedish Institute of Computer Science , 1986, 1. , s. 15
Serie
SICS Research Report, ISSN 0283-3638 ; R86:11B
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-22222OAI: oai:DiVA.org:ri-22222DiVA, id: diva2:1041767
Anmärkning

Original report number R86011B. This report appears as a part in Mats Carlsson's Dissertation "Design and Implementation of an OR-Parallel Prolog Engine". SICS Dissertation Series 9002. RIT(KTH)TRITA-CS-9003).

Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2023-05-05Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Person

Carlsson, Mats

Sök vidare i DiVA

Av författaren/redaktören
Carlsson, Mats
Av organisationen
Computer Systems Laboratory
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 185 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf