Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Automata-driven indexing of prolog clauses - MaRDI portal

Automata-driven indexing of prolog clauses

From MaRDI portal

Publication:3125095

Jump to:navigation, search

DOI10.1016/0743-1066(94)00016-YzbMath0863.68036MaRDI QIDQ3125095

No author found.

Publication date: 17 March 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

indexing techniques Prolog clauses

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17)

Related Items (2)

Tight complexity bounds for term matching problems ⋮ Efficient instance retrieval with standard and relational path indexing

This page was built for publication: Automata-driven indexing of prolog clauses

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3125095&oldid=16206856"