Typkonceptet för det logiska programmeringsspråket PROTOS-L stöder sorter, subsortrelationer och parametrisk polymorfism. På grund av de ordersorterade typerna är också närvarande vid körning, ersätter delar av avdragsprocessen som krävs i en osorterad version med effektiva typberäkningar. Tillsammans med polymorfismen bär större delen av flexibiliteten i otypad logisk programmering över till det ordningssorterade tillvägagångssättet. Den operativa semantiken av PROTOS-L baseras på polymorfisk ordningssorterad upplösning. Med utgångspunkt i en abstrakt specifikation visar vi hur denna operationella semantik kan implementeras effektivt genom en förlängning av Warren Abstract Machine och ger en detaljerad beskrivning av alla instruktioner och procedurer på låg nivå som ansvarar för typhantering. Eftersom förlängningen lämnar WAM: s AND/OR struktur oförändrad, möjliggör det alla WAM optimeringar som sista anrop optimering, miljö trimning, etc. Dessutom är förlängningen ortogonal i den meningen att någon programdel som inte utnyttjar faciliteterna för beräkning med subtyper utförs med nästan samma effektivitet som på den ursprungliga WAM.
Andra genomföranden av ordningssorterade algebras inkluderar PROTOS(L) REF som har en operationell semantik baserad på polymorfisk ordningssorterad upplösning.
Run-time type computations in the Warren Abstract Machine
{'venue': 'J. Log. Program.', 'journal': 'J. Log. Program.', 'mag_field_of_study': ['Computer Science']}