Automata-driven indexing of Prolog clauses

Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 ◽

10.1145/96709.96738 ◽

1990 ◽

Cited By ~ 11

Author(s):

R. Ramesh ◽

I. V. Ramakrishnan ◽

D. S. Warren

Download Full-text