CSCI3180 – Principles of Programming Languages – Spring 2017
Assignment 4 — Declarative Programming
Deadline: Apr 23, 2017 (Sunday) 23:59
1 Introduction
Declarative programming is a programming paradigm that expresses the logic of a computation
without describing its control flow. You will gain experience of declarative programming with an
emphasis on Prolog and ML in this assignment.
2 Logic Programming
Implement the required predicates or queries of the following two problems in a Prolog program file
named “asg4.pl”. You should clearly indicate using comments the corresponding question number
of each sub-problem. Note that the answers which are queries should be written in comments as
well.
1. A binary tree is either empty or composed of a root and two children, which are binary trees
themselves. A binary tree consists of a set of nodes and lines connecting parent with children.
The nodes are depicted by circles with labels written inside.
Figure 1: An example of binary tree
In Prolog, we represent an empty tree by the atom “nil” and a non-empty tree by the term
“bt(X,L,R)”, where X denotes the root node, L and R denote the left and right subtrees
respectively.
(a) Represent the binary tree shown in Figure 1(a) as a Prolog term.
(b) Define the predicate istree(Term), where “Term” can be any Prolog term. Predicate
istree(Term) is true if “Term” represents a binary tree.
(c) Define the predicate mirror(Tree1, Tree2), where “Tree1” and “Tree2” are both
Prolog terms representing binary trees. Predicate mirror(Tree1, Tree2) is true if
“Tree1” and “Tree2” are mirror images of each other. For example, nil is the mirror
of nil. The two trees in Figure 1(b) are mirror images of each other.
(d) Give a query to generate the mirror image of the tree on the left-hand side in Figure 1(b).
(e) Based on mirror/2, define symmetric(Tree), where “Tree” is a Prolog term repre-
senting a binary tree. Predicate symmetric(Tree) is true if “Tree” is symmetric. For
1
example, nil and a single-node tree are both symmetric. The tree in Figure 1(c) is a
symmetric tree.
2. Recall the successor notation for representing natural numbers, and the sum(X,Y,Z) relation
defined in the lecture which is true if Z is the sum of X and Y .
(a) Define uint num(X) which is true if X is a natural number.
(b) Define gt(X,Y) which is true if X is greater than Y.
(c) Give a query to list all natural numbers less than 3.
(d) Based on sum/3, define product(X,Y,Z) which is true if Z is the product of X and Y.
(e) Give a query to compute the product of 2 and 3.
(f) Give a query to compute the result of 8 divided by 4.
(g) Based on sum/3, define intdiv(X,Y,Z) which is true if Z is the integer quotient of X
divided by Y. If X ≥ Y, X could always be divisible by Y and the quotient is Z. If X < Y,the quotient is 0.(h) Give a query to compute the result of 2 divided by 3 using intdiv.(i) Give a query to compute product of 1 and 2 using intdiv.3 Functional ProgrammingImplement the required functions of the following two problems in an ML program file named“asg4.ml”. You should clearly indicate using comments the corresponding question number ofeach sub-problem.1. A binary tree is a data structure in which each node has a label and at most two childrenwhich are referred to as the left child and right child. Recall the type definition of a binarytree:datatype ’a bTree = nil | bt of ’a bTree * ’a * ’a bTree;where “nil” stands for the empty tree and “bt” is the tag of a non-empty binary tree.(a) The size of a binary tree is the number of elements in the tree. For example, the sizeof an empty tree is 0 and the size of a single element tree is 1. The size of the binarytree in Figure 1(a) is 7.Implement an ML function size which takes a binary tree of any type as input andreturns its size. Your function size should make use of pattern matching.(b) A leaf node of a binary tree is a node without any child nodes, which means the leafnode has two nil children. The height of a binary tree is the maximum number of edgesfrom the root to leaf nodes. For example, the empty tree and a single element tree havea height of 0. The height of the binary tree in Figure 1(a) is 3.Implement an ML function height which takes a binary tree of any type as input andreturns its height. Your function height should make use of pattern matching.(c) The number of leaves of an empty tree, namely a nil tree, is 0. A single element treehas 1 leaf node, which is just the root node. The binary tree in Figure 1(a) has 3 leafnodes.Implement an ML function nleaves which takes a binary tree of any type as input andreturns the number of leaf nodes. Your function nleaves should make use of patternmatching.2. Recall the built-in function hd for obtaining the first element of a list. We consider lists ofreals for the following problems. Suppose the input list is always non-empty and the head ofa list is the first element.(a) Implement an ML function last to return the last element of the input list.2(b) Implement an ML function tln, which takes a list L and an integer n as inputs, toreturn a list of all but the first n elements of the input list. You can safely assume thatthe non-negative integer n is always less than or equal to the length of L.(c) Implement an ML function hdn, which takes a list L and an integer n as inputs, toreturn a list of the first n element of the input list. You can safely assume that thenon-negative integer n is always less than or equal to the length of L.(d) Based on the function tln, implement an ML function lnth, which takes a list L and aninteger n as inputs, to return the n-th element of the input list. You can safely assumethat the integer n is always greater than 0 and less than or equal to the length of L.(e) Implement an ML function sum to return the sum of all elements of the input list.(f) The variance of a list of reals [x1, …, xn] can be the average of the squares minus thesquare of the average. One formula for computing variance isvar(x) =∑ni=1 x2in−(∑ni=1 xin)2(1)Use function square, built-in functions length and map and function sum in (e) toimplement an ML function variance to return the variance of the input list. Functionsquare is defined asfun square(x:real) = x*x;val square = fn : real → real4 Submission GuidelinesPlease read the guidelines CAREFULLY. If you fail to meet the deadline because of submissionproblem on your side, marks will still be deducted. So please start your work early!1. In the following, SUPPOSEyour name is Chan Tai Man,your student ID is 1155234567,your username is tmchan, andyour email address is [email protected]. In your source files, insert the following header. REMEMBER to insert the header accordingto the comment rule of Prolog and ML./∗∗ CSCI3180 Principles of Programming Languages∗∗ — Declaration —∗∗ I declare that the assignment here submitted is original except for source∗ material explicitly acknowledged. I also acknowledge that I am aware of∗ University policy and regulations on honesty in academic work, and of the∗ disciplinary guidelines and procedures applicable to breaches of such policy∗ and regulations, as contained in the website∗ http://www.cuhk.edu.hk/policy/academichonesty/∗∗ Assignment 4∗ Name : Chan Tai Man∗ Student ID : 1155234567∗ Email Addr : [email protected]∗/The sample file header is available athttp://course.cse.cuhk.edu.hk/~csci3180/resource/header.txt33. Late submission policy: less 20% for 1 day late and less 50% for 2 days late. We shall notaccept submissions more than 2 days after the deadline.4. Your solutions for Section 2 will be graded using SICStus Prolog 3.12.7 in the CSE Unixplatform. Solutions for Section 3 will be graded using Standard ML 110.0.7 in the CSE Unixplatform.5. Tar your source files to username.tar bytar cvf tmchan.tar asg4.pl asg4.ml6. Gzip the tarred file to username.tar.gz bygzip tmchan.tar7. Uuencode the gzipped file and send it to the course account with the email title “HW4studentID yourName” byuuencode tmchan.tar.gz tmchan.tar.gz | mailx -s “HW4 1155234567 Chan Tai Man” [email protected]. Please submit your assignment using your Unix accounts.9. An acknowledgement email will be sent to you if your assignment is received. DO NOTdelete or modify the acknowledgement email. You should contact your TAs for help if you donot receive the acknowledgement email within 5 minutes after your submission. DO NOTre-submit just because you do not receive the acknowledgement email.10. You can check your submission status athttp://course.cse.cuhk.edu.hk/~csci3180/submit/hw4.html.11. You can re-submit your assignment, but we will only grade the latest submission.12. Enjoy your work :>
4
Introduction
Logic Programming
Functional Programming
Submission Guidelines
Reviews
There are no reviews yet.