Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-25044
Titel: | Indexing PROLOG procedures into DAGs by heuristic classification |
VerfasserIn: | Sintek, Michael |
Sprache: | Englisch |
Erscheinungsjahr: | 1993 |
Quelle: | Kaiserslautern ; Saarbrücken : DFKI, 1993 |
Kontrollierte Schlagwörter: | Künstliche Intelligenz |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This paper first gives an overview of standard PROLOG indexing and then shows, in a step-by-step manner, how it can be improved by slightly extending the WAM indexing instruction set to allow indexing on multiple arguments. Heuristics are described that overcome the difficulty of computing the indexing WAM code. In order to become independent from a concrete WAM instruction set, an abstract graphical representation based on DAGs (called DAXes) is introduced. The paper includes a COMMON LISP listing of the main heuristics implemented; the algorithms were developed for RELFUN, a relational-plus-functional language, but can easily be used in arbitrary PROLOG implementations. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291-scidok-38882 hdl:20.500.11880/25100 http://dx.doi.org/10.22028/D291-25044 |
Schriftenreihe: | Technical memo / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-0071] |
Band: | 93-05 |
Datum des Eintrags: | 7-Jul-2011 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
TM_93_05.pdf | 385,41 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.