A focused practice platform for competitive-exam MCQs, subject wise, topic wise practice, and current affairs revision.

Exams

SSC CGL
UPSC CSE
IBPS PO
RRB NTPC
CDS

Subjects

Mathematics
Physics
General Knowledge
English
Reasoning

Resources

Current Affairs
Search MCQs
Practice Sets

Company

About Us
Contact
Privacy Policy
Terms of Use
Disclaimer
Copyright

Practice library for exams, subjects, and daily revision. For learning purposes only.

© 2026 ObjectiveMcq.ComAll rights reserved

ObjectiveMcq

Print Protected

Printing this content is disabled

This page is protected for print. Use the website to view the content.

What is the process of combining assertions and logical cons - Practice - ObjectiveMcq

HomePracticeLISPConstraint PropagationWhat is the process of combining as...

Constraint Propagation LISPMedium

What is the process of combining assertions and logical constraints?

Correct Answer: C — Inference net

When a group of assertions and logical constraints are combined, they form inference net.

Related Practice

Atoms are considered as S-expressions.
If X and Y are S-expression then (X.Y) is a/an ____
What are the basic building blocks of S-expressions?
All program statements and data in LISP are represented by S-expressions?
What S-expression consists of?
Think of a way to write addition of four numbers using maximum possible braces?
Can LISP programs be nested?
What is the basic syntax of LISP (Note: arg means argument here)