uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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
Towards Simpler Argument Binding: Knowledge Gathering by Mining Logic Program Repositories
Uppsala University, Disciplinary Domain of Humanities and Social Sciences, Faculty of Social Sciences, Department of Informatics and Media.
2016 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The compositional relational programming (CRP) is a purely declarative and naturally compositional programming paradigm, but the low readability and some binding issues limit its use. The main purpose in this thesis is utilizing the common binding patterns identified from Prolog programs to improve current argument binding mechanism in CRP. In order to collect relevant Prolog rules and convert them to a measurable form, a data mining tool is built and applied to extract data from Prolog code repository. After the analysis, two kinds of patterns are identified respectively, based on the binding outside and inside the logical combination. Correspondingly, the projection operator make is optimized for highlighting the dummy argument; three extended and combinators are proposed to handle common binary combinations; the join operator is modified to efficiently and flexibly combine multiple predicates. In the future, the usability of those improved operators should be carefully evaluated.

Place, publisher, year, edition, pages
2016. , 78 p.
Keyword [en]
declarative programming, compositional relational programming, data mining, argument binding
National Category
Information Systems
Identifiers
URN: urn:nbn:se:uu:diva-296131OAI: oai:DiVA.org:uu-296131DiVA: diva2:936316
Subject / course
Information Systems
Educational program
Master programme in Information Systems
Presentation
2016-06-07, B331, Kyrkogårdsgatan 10, Uppsala, 14:30 (English)
Supervisors
Examiners
Available from: 2016-06-14 Created: 2016-06-13 Last updated: 2016-06-14Bibliographically approved

Open Access in DiVA

fulltext(684 kB)43 downloads
File information
File name FULLTEXT01.pdfFile size 684 kBChecksum SHA-512
23cea85aae3ea8017a07dd6d64d39da8bec1b686bd60c7883e52385311109ba50f0af6e33ccc8de9a912d0d006169e54afb8738ab491bfc512b5ae2ce7ed201c
Type fulltextMimetype application/pdf

By organisation
Department of Informatics and Media
Information Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 43 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

urn-nbn

Altmetric score

urn-nbn
Total: 804 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • 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