1 research outputs found

    An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs

    No full text
    corecore