Towards Simpler Argument Binding: Knowledge Gathering by Mining Logic Program Repositories
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
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.
declarative programming, compositional relational programming, data mining, argument binding
IdentifiersURN: urn:nbn:se:uu:diva-296131OAI: oai:DiVA.org:uu-296131DiVA: diva2:936316
Subject / course
Master programme in Information Systems
2016-06-07, B331, Kyrkogårdsgatan 10, Uppsala, 14:30 (English)
Hamfelt, Andreas, Professor
Mckeever, Steve, Associate Professor