Scribd Logo
Upload

Welcome to Scribd!

  • 28 views

    Paper Id: (A04801: Rotl No. Total No" of Questions: 091 Ttotal No. of Pages: 02 4,,1R, 1Vt 6Ll+Avtdt4,7'Tu CCR"'

    Uploaded by

    ravinder_sandhu_1
    The document is a question paper for the subject Symbolic Logic and Logic Processing. It contains two sections with multiple choice and long answer questions. Section A has 10 multiple choice questions about concepts in logic and Prolog like Horn clauses, unification, control statements, common uses of cut predicates, first order logic, Prolog planners, declarative and procedural semantics, fuzzy sets, and natural language processing. Section B has 4 long answer questions about writing Prolog programs to sum the first 10 natural numbers, define input/output functions, find the maximum number in a list, and sort a list of numbers. Section C has 2 long answer questions about describing operators, recursion, advanced Prolog features, and failure predicates in Prolog and writing

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd

    Paper Id: (A04801: Rotl No. Total No" of Questions: 091 Ttotal No. of Pages: 02 4,,1R, 1Vt 6Ll+Avtdt4,7'Tu CCR"'

    Uploaded by

    ravinder_sandhu_1
    28 views2 pages
    The document is a question paper for the subject Symbolic Logic and Logic Processing. It contains two sections with multiple choice and long answer questions. Section A has 10 multiple choice questions about concepts in logic and Prolog like Horn clauses, unification, control statements, common uses of cut predicates, first order logic, Prolog planners, declarative and procedural semantics, fuzzy sets, and natural language processing. Section B has 4 long answer questions about writing Prolog programs to sum the first 10 natural numbers, define input/output functions, find the maximum number in a list, and sort a list of numbers. Section C has 2 long answer questions about describing operators, recursion, advanced Prolog features, and failure predicates in Prolog and writing

    Original Title

    cse7-sllp-dec09

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The document is a question paper for the subject Symbolic Logic and Logic Processing. It contains two sections with multiple choice and long answer questions. Section A has 10 multiple choice questions about concepts in logic and Prolog like Horn clauses, unification, control statements, common uses of cut predicates, first order logic, Prolog planners, declarative and procedural semantics, fuzzy sets, and natural language processing. Section B has 4 long answer questions about writing Prolog programs to sum the first 10 natural numbers, define input/output functions, find the maximum number in a list, and sort a list of numbers. Section C has 2 long answer questions about describing operators, recursion, advanced Prolog features, and failure predicates in Prolog and writing

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    28 views2 pages

    Paper Id: (A04801: Rotl No. Total No" of Questions: 091 Ttotal No. of Pages: 02 4,,1R, 1Vt 6Ll+Avtdt4,7'Tu CCR"'

    Uploaded by

    ravinder_sandhu_1
    The document is a question paper for the subject Symbolic Logic and Logic Processing. It contains two sections with multiple choice and long answer questions. Section A has 10 multiple choice questions about concepts in logic and Prolog like Horn clauses, unification, control statements, common uses of cut predicates, first order logic, Prolog planners, declarative and procedural semantics, fuzzy sets, and natural language processing. Section B has 4 long answer questions about writing Prolog programs to sum the first 10 natural numbers, define input/output functions, find the maximum number in a list, and sort a list of numbers. Section C has 2 long answer questions about describing operators, recursion, advanced Prolog features, and failure predicates in Prolog and writing

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 2

    I

    Rotl No. Total No" of Questions: 091 4,,1r,1vt 6lL+AVtdt4,7'tu Ccr"' tTotal No. of Pages: 02

    B.Tech.(Sem. -t/7n1gtn1 SYMBOLIC LOGIC AND LOGIC PROCESSING SUBJECTCODE : CS - 402

    PaperID : [A04801
    lNote : Pleasefill subject code and paper ID on OMRI

    Time : 03 Hours Instruction to Candidates: t) Section- A is Compulsory. 2) 3) Attempt any Four questionsfrom Section- B. Attempt any Two questionsfrom Section- C. Section- A QI) a) b) c) d) e) 0 g) h) r) ) What are Horn Clauses? Explainneedand concept Unification? of What are control statements Prolog? in How do we write the programsin Prolog?

    Maximum Marks : 60

    (10 x 2:20)

    What are the common usesof CUT predicates Prolog. in What is first order logic? What is a PROLOG Planner? What aredeclarative and proceduralsemantics? Explain Fuzzy sets. What is naturallanguage processing?

    2el J-sgs[81

    PTO.

    r
    Section- B x 5 - 20) e2) Q3) Q4) write a programto sum frrst l0 naturalnumbersusinglvraog{a What arethe input and output functionsin Prolog? Definethe predicatemaxlist(List, Max) so that Max is the greatest number in the list of numbers List.

    with cut andnegation. QSI Explainthe problems Q6) Write a programto sort the list of numbersusing Prolog. , 87) Section- C (2x10-20)

    Describethe following with respect Prolog. to (a) Operators. (b) Recursion (c) Advancedfeaturesof Prolog (d) FAIL Predicates.

    Q8)

    Write an iterativeand recursiveprogramsin Prolog" (a) To reverse list. a (b) To split the list of integerssuch that one containspositive and other containnesativenumbers. Design a Prolog program unique(Bag, Set) that takes a Bag (a list may returnsa Set(no elements repeated). are containsduplicateelements)

    Q9)

    8+8S

    J-585

    You might also like