Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Implementational Issues in GCLA: Compiling Control
RISE, Swedish ICT, SICS, Decisions, Networks and Analytics lab.ORCID iD: 0000-0002-0236-783X
1993 (English)Report (Other academic)
Abstract [en]

The paper describes the basic implementation of GCLA II's control level. The basis of the implementation is a compiling scheme for transforming inference rules and strategies operating on the object level to an interpreter in Prolog, where the inference rules of the control level are coded inline. This is possible since the operational semantics of the control level is deterministic, i.e. the choice of inference rule to apply on a control level goal is determined solely by the parts of the goal. To handle dynamic clauses, a context list, accessible through some new C-functions linked together with the Prolog system. GCLA I and GCLA II are described shortly, followed by a discussion of a Horn clause representation of inference rules versus functions coding inference rules. Then the transformation of inference rules and strategies is described followed by some examples.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1993, 1.
Series
SICS Research Report, ISSN 0283-3638 ; R93:05
Keyword [en]
GCLA, inference rules, interpreters, program transformation
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-21373OAI: oai:DiVA.org:ri-21373DiVA: diva2:1041409
Available from: 2016-10-31 Created: 2016-10-31 Last updated: 2017-08-25Bibliographically approved

Open Access in DiVA

fulltext(3940 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 3940 kBChecksum SHA-512
b861f3eb159a23ba4c9645e59a801813bb3cb6ca553245a85a538ea61a5950521f86a5ce705ba603e409a8b928953ccd378d8e30971c312859f399da100095e2
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Aronsson, Martin
By organisation
Decisions, Networks and Analytics lab
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 20 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.28.0