Kopieringsmetoden för att tabulera, abrv. CAT, är ett alternativ till SLG-WAM och bygger på att gradvis kopiera de områden som SLG-WAM fryser för att bevara verkställande tillstånd av suspenderade beräkningar. Den största fördelen med CAT jämfört med SLG-WAM är att stödet för att lägga fram inte påverkar hastigheten på den underliggande abstrakta maskinen för strikt icke- bordlagda utförande. Nackdelen med CAT som påpekades i ett tidigare dokument är att CAT i värsta fall måste kopiera så mycket att dess framlagda utförande blir godtyckligt värre än SLG-WAM. Åtgärder för att avhjälpa detta problem har undersökts, men en helt tillfredsställande lösning har inte kommit fram. Här presenteras en hybridmetod: abrv. -KAT. -Vad är det? Dess utformning vägleddes av kravet att för icke-inspelade (dvs. Prolog) körning inga ändringar av den underliggande WAM motorn behöver göras. CHAT kombinerar vissa funktioner i SLG-WAM med funktioner i CAT, men introducerar också en teknik för att frysa WAM stackar utan användning av SLG-WAM frysregister som är av oberoende intresse. Empiriska resultat visar att CHAT är ett bättre val för att genomföra kontrollen av ingivande än SLG-WAM eller CAT. Men program med godtyckligt sämre beteende existerar. Ska vi nämna COMPCHAT x just nu?- Vad är det med dig?
CHAT REF ) är en hybridmetod som kombinerar SLG-WAM och CAT.
CHAT: the Copy-Hybrid Approach to Tabling
{'venue': 'In Practical Aspects of Declarative Languages: First International Workshop', 'journal': None, 'mag_field_of_study': ['Computer Science']}