Rajasthan Technical University 2010-4th Sem B.Tech Computer Science and Engineering : ( - ) Logic and Functional Programming - Question Paper

B.Tech. four Semester (Main) Examination, June-2010
Computer Engineering
4CS6.3 Logic and Functional Programming


Unit I

1. discuss in details in situation of Proposition logic's.
a) valuation of constant propositions.
b) valuation of proposition in a state. [Marks 2*8=16]

OR

2. discuss the subsequent in brief:-
a) Quantifiers and Reasoning
b) Introduction to first-order predicate logic
c) Tautologies
d) Precedence rules for operators [Marks 4*4=16]


Unit II

3. discuss the subsequent terms using in PROLOG:
a) Constant
b) Goals and Clauses
c) Facts
d) Rules. [Marks 4*4=16]

OR

4. What do you mean by?
a) Rules and Conjunction
b) Rules and Disjunction
c) Search strategy
d) Queries [Marks 4*4=16]


Unit III

5. define subsequent using PROLOG Programming:
a) Unification
b) Recursion
c) Cut operator
d) Sorting Technique. [Marks 4*4=16]

OR

6. Write short notes on:
a) Text strings
b) Searching state space
c) Operators and their precedence
d) Parsing in prolog. [Marks 4*4=16]


Unit IV

7. a) elaborate the differences ranging from functional and imperative language?
b) discuss with example lambda calculus in terms of syntax and semantics analysis. [Marks 8*2=16]

OR

8. Write a short note on:
a) Computability and correctness
b) Lazy and Eager valuation Strategies. [Marks 8*2=16]


Unit V

9. a) provide the brief introduction of Haskell Programming and how we create lists, kind classes and arrays in Haskell.
b) define the Input and Output in Haskell. [Marks 8*2=16]

OR

10. Consider the subsequent countdown issue in Haskell programming:
Using numbers 1,3,7,10,25,50 and the arithmetic operators are +, -, *, \.
a) Construct an expression whose value is 765
b) Evaluating expressions.
c) Formalizing the issue
d) Brute force solution
the rules for developing the issue are:
Rule 1: All the numbers, including intermediate outcome must be positive naturals (1,2,3...)
Rule 2: every of the source numbers can be used at most once when constructing the expression. [Marks 4*4=16]

Earning:   Approval pending.