Advertisement

Ein vereinheitlichender Ansatz: RISC

  • Clemens Beckstein
Chapter
  • 31 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 199)

Zusammenfassung

Nachdem in den vorausgehenden Kapiteln die theoretischen und begrifflichen Grundlagen geschaffen wurden, soll nun die Architektur eines Logik-Programmiersystems namens RISC1 vorgestellt werden, das
  • in der Funktionalität konventionelle SLD-Beweissysteme umfaßt,

  • gleichzeitig jedoch ein weitgehend redundanzfreies Operieren über einer ausdrucksstärkeren Sprache ermöglicht,

  • ohne deshalb auf alogische prozedurale Konstrukte zurückgreifen zu müssen, wie sie aus gängigen SLD-Beweissystemen bekannt sind.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Clemens Beckstein
    • 1
  1. 1.Lehrstuhl für DatenbanksystemeUniversität Erlangen-NürnbergMartensstraße 3Germany

Personalised recommendations