Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/93012
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.date.accessioned | 2022-04-05T08:51:04Z | - |
dc.date.available | 2022-04-05T08:51:04Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Bonanno, G. (2008). Embedding Prolog in Haskell (Bachelor’s dissertation). | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/93012 | - |
dc.description | B.SC.(HONS)COMP.SCI. | en_GB |
dc.description.abstract | Programming languages in different paradigms have characteristics with which an elegant solution can be written for a given problem. Logic programming languages, for example, excel at handling non-determinism and at representing the solution in a very concise way. Functional languages, such as Haskell, provide strong type checking and can be used to write highly modular solutions. In this dissertation, after studying the mechanisms of Prolog, a logic programming language, we explore different methods of amalgamating the features of logic programming in Prolog with the features of functional languages represented in Haskell. Hence, an embedding of Prolog in Haskell is produced. Three different techniques of embedding are described and compared for their strengths and weaknesses. The advantages of using a Prolog embedding in Haskell are illustrated by implementing a simulator for the Hardware Description Language (HDL) Verilog which is based on a subset of the operational semantics of the language. | en_GB |
dc.language.iso | en | en_GB |
dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
dc.subject | Prolog (Computer program language) | en_GB |
dc.subject | Programming languages (Electronic computers) | en_GB |
dc.subject | Haskell (Computer program language) | en_GB |
dc.subject | Logic programming | en_GB |
dc.title | Embedding Prolog in Haskell | en_GB |
dc.type | bachelorThesis | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder. | en_GB |
dc.publisher.institution | University of Malta | en_GB |
dc.publisher.department | Faculty of Information and Communication Technology. Department of Computer Science | en_GB |
dc.description.reviewed | N/A | en_GB |
dc.contributor.creator | Bonanno, George (2008) | - |
Appears in Collections: | Dissertations - FacICT - 1999-2009 Dissertations - FacICTCS - 2008 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
BSC(HONS)PHYSICS_COMPSCI_Bonanno_George_2008.pdf Restricted Access | 6.12 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.