Change search
ReferencesLink to record
Permanent link

Direct link
The Effect of using a Trailing Persistent Array to Embed Logic Programming into a Functional Language
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2011 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Logic programming is an important paradigm because of its declarative nature – a programmer declares values and facts and then the program executes by inferring their consequences via backtracking search and unification.

There are many situations where logic programming allows elegant solutions that are difficult to emulate in other paradigms, such as implementing type inference or solving problems that require backtracking search.

Unfortunately it is generally not feasible for a language to be purely based on logic – search spaces are often large or infinite and greater control is required, normally via constructs that move closer to other non-logical paradigms.

An attractive approach that has been attempted by for example Felleisen [12] and Seres & Spivey [16] is to embed logic programming into a host language with rich control constructs such as a functional language.

This report describes a new technique for implementing such an embedding that improves on previous embeddings by concealing trailing and reversion with the help of a persistent array data structure proposed by Baker [6]. This structure was recently used in a domain similar to ours with backtracking by Conchon & Filliatre [8].

Place, publisher, year, edition, pages
2011.
Series
IT, 11 015
Identifiers
URN: urn:nbn:se:uu:diva-150823OAI: oai:DiVA.org:uu-150823DiVA: diva2:408961
Uppsok
Technology
Supervisors
Examiners
Available from: 2011-04-06 Created: 2011-04-06 Last updated: 2011-04-06Bibliographically approved

Open Access in DiVA

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

By organisation
Department of Information Technology

Search outside of DiVA

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

Direct link