Paradigmet för Tabled Logic Programmering (TLP) stöds nu av ett antal Prolog system, inklusive XSB, YAP Prolog, B-Prolog, Merkurius, ALS och Ciao. Orsakerna till detta är delvis teoretiska: ingivande säkerställer uppsägning och optimal känd komplexitet för frågor till en stor klass av program. Men de tvingande skälen är praktiska. TLP gör att sofistikerade program kan skrivas koncist och effektivt, särskilt när mekanismer som inlämnad negation och samtal och svar subkonsumtion stöds. Som ett resultat har TLP nu använts i en mängd olika applikationer från programanalys till förfrågan över den semantiska webben. Detta dokument ger en undersökning av TLP och dess tillämpningar som genomförs i XSB Prolog, tillsammans med diskussioner om hur XSB stöder ingivande med dynamiskt ändrande kod, och i en flertrådig miljö 1.
Utökningar av logiska språk med tabulering kan säkerställa uppsägning och optimal känd komplexitet för frågor till en stor klass av praktiska program REF.
XSB: Extending Prolog with Tabled Logic Programming
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}