CAT: The Copying Approach to Tabling | Zendy

Bart Demoen | Zendy; Konstantinos Sagonas | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

CAT: The Copying Approach to Tabling

Author(s) -

Bart Demoen,

Konstantinos Sagonas

Publication year - 1998

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-65012-1

DOI - 10.1007/bfb0056605

Subject(s) - prolog , copying , computer science , programming language , parallel computing , law , political science

The SLG-WAM implements tabling by freezing the WAM stacks: this implementation techniquehas a reasonably small execution overhead, but is not easy to implement on top of anexisting Prolog system. We here propose a new approach to the implementation of tabling:the Copying Approach to Tabling. CAT interferes absolutely not with normal Prolog executionand can be introduced in an existing Prolog system orthogonally. We have implemented CATstarting from XSB (i.e. taking out SLG-WAM and...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research