Computer Science · Mathematical Logic
Match LIST-I with LIST-II regarding logic clauses: LIST-I A. Definite clause B. Horn Clause C. Goal Clause D. Inference with Horn clauses LIST-II I. Forward Chaining II. At most one positive literal III. No positive literals IV. Exactly one positive literal Choose the correct answer from the options given below:
Verified Solution4 OptionsUpdated: October 2026👁️1 View
Share:
- 1A-II, B-IV, C-III, D-I
- 2A-IV, B-II, C-I, D-III
- 3A-II, B-III, C-I, D-IV
- 4A-IV, B-II, C-III, D-I✓
Correct answer
A-IV, B-II, C-III, D-I
Download Single Question PDF
Save this question and verified answer as a clean study sheet with live clickable link.
👥
Share with Friends & Study Groups
Challenge your peer aspirants on WhatsApp or Telegram to solve this question!
Online Test Series
Start Free Mock Test →Preparing for Computer Science?
Practice full-length mock tests with real exam timers, instant score analysis, and all-India ranking.
Chapter Practice
Practice Mathematical Logic MCQs →Want more practice questions on Mathematical Logic?
Solve complete topic-wise tests with detailed solutions on GkGet.
Related Practice Questions
Recommended practice questions in Computer Science · Mathematical Logic