Automata-driven indexing of prolog clauses
- 31 May 1995
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 23 (2) , 151-202
- https://doi.org/10.1016/0743-1066(94)00016-y
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Pattern Matching in TreesJournal of the ACM, 1982
- Linear unificationJournal of Computer and System Sciences, 1978
- A Space-Economical Suffix Tree Construction AlgorithmJournal of the ACM, 1976
- Efficient string matchingCommunications of the ACM, 1975