Change search
ReferencesLink to record
Permanent link

Direct link
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
URN: urn:nbn:se:uu:diva-296131OAI: diva2:936316
Subject / course
Information Systems
Educational program
Master programme in Information Systems
2016-06-07, B331, Kyrkogårdsgatan 10, Uppsala, 14:30 (English)
Available from: 2016-06-14 Created: 2016-06-13 Last updated: 2016-06-14Bibliographically approved

Open Access in DiVA

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

By organisation
Department of Informatics and Media
Information Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 8 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: 35 hits
ReferencesLink to record
Permanent link

Direct link