Program for read a formal expression from standard input, C/C++ Programming

Your program will read two kinds of data from two files: names and predicates. It will read a formal expression from standard input and check whether that expression is syntactically correct, i.e., built from the names and predicates that have been read, together with a few boolean operators. Then your program will read from a third file a set of basic facts assumed to be true, and check whether the formal expression itself is true. Finally, it will find out whether it is possible to make some basic facts true so that the formal expression itself becomes true (this being trivially the case if the answer to the previous question is positive), and in case it is, write a possible solution to a file. The program will use an abstract interface that you will have to implement. The interface and the client program will be provided.

Detailed description

We suppose that there is in the working directory a file names.txt that contains sequences of symbols called names. The file contains at least one name. A name follows the syntactic rules that characterize C identifiers (it is a nonempty sequence of symbols that are uppercase letters, lower case letters, digits or underscores, and that does not start with a digit). Names are separated by any non-null number of blanks, tabs and new line characters. Intuitively, names denote persons, animals, objects or whatever. The following is a possible contents for names.txt:

juliet 

paul 

fido

peter

melissa

We   suppose   that   there   is   in   the   working   directory   another   file   predicates.txt  that   contains nonempty sequences of symbols called predicates,  in  the  form predicate_name/arity

where predicate_name follows the syntactic rules that characterize C identifiers, and arity is a nonnegative integer (possibly equal to 0). The file contains at least one predicate. Predicates are separated by any nonnull number of blanks, tabs and new line characters. Intuitively, predicate names denote properties or relations between things denoted by names; the arity represents the number of things to which the property or relation applies. Di
erent predicates names may have the same arity. The following is a possible contents for predicates.txt:

taller_than/2

temperature_is_now_above_25/0 rich/1

From the names in names.txt and predicates in predicates.txt, we define as follows the formulas.

  • If predicate_name is the name of a predicate of arity n and if names_1,. . . , name_n are names then predicate_name(name_1,...,name_n) is a formula, called an atom. Note that an atom contains no space.
  • If formula, formula_1 and formula_2 are three formulas then

- not formula

-[ formula_1 and formula_2 ]

- [ formula_1 or formula_2 ]

- [ formula_1 implies formula_2 ]

- [ formula_1 iff formula_2 ]

are all formulas, where any number of spaces (including 0) can occur before and after the [ and ] symbols.

For example:

  • temperature_is_now_above_25
  • rich(melissa)
  • [rich(melissa) or taller_than(paul,peter)]
  • [ temperature_is_now_above_25 and
  • [rich(melissa) or not taller_than(paul,peter)] ]
  • [[rich(juliet) and rich(juliet)] iff [taller_than(paul,peter) iff rich(juliet)]] are all formulas, whereas
  • temperature_is_now_above_30
  • rich(gina)
  • rich(melissa) or taller_than(paul,peter)
  • [ temperature_is_now_above_25 and [rich(melissa) or
  • not taller_than(paul,peter,juliet)] ]
  • [[rich(juliet) and rich(juliet)] iff
  • not [[taller_than(paul,peter) iff rich(juliet)]]]

are not formulas.

We suppose that there is in the working directory a third file true_atoms.txt that contains atoms, representing an interpretation. The file might contain no atom at all. No atom occurs twice in the file. Atoms are separated by any nonnull number of blanks, tabs and new line characters. The following is a possible contents for true_atoms.txt:

temperature_is_now_above_25

taller_than(paul,peter) rich(paul)

rich(fido) rich(peter)

It is then possible to establish whether a formula is true or false in the interpretation as follows:

  • An atom is true just in case it occurs in true_atoms.txt.
  • A formula of the form not formula is true just in case formula is false.
  • A formula of the form [ formula_1 and formula_2 ] is true just in case formula_1 and formula_2 are both true.
  • A formula of the form [ formula_1 or formula_2 ] is true just in case at least one of formula_1 and formula_2 is true.
  • A formula of the form [ formula_1 implies formula_2 ] is false just in case formula_1 is true and formula_2 is false.
  • A formula of the form [ formula_1 iff formula_2 ] is true just in case formula_1 and formula_2 are both true, or formula_1 and formula_2 are both false.
Posted Date: 2/23/2013 4:05:40 AM | Location : United States







Related Discussions:- Program for read a formal expression from standard input, Assignment Help, Ask Question on Program for read a formal expression from standard input, Get Answer, Expert's Help, Program for read a formal expression from standard input Discussions

Write discussion on Program for read a formal expression from standard input
Your posts are moderated
Related Questions
aj is a newbie to the programming and while learning the programming language he came to know the following rules: - Each program must start with ''{'' and end with ''}''.

Byteland county is very famous for luminous jewels. Luminous jewels are used in making beautiful necklaces. A necklace consists of various luminous jewels of particular colour. Nec

count the number of string in n-th padovan string

HOW THE C PROGRAM CODING IMPLEMENTED DY ITSELF UNDERSTANDING . ALSO HOW I CAN A BECOME A GOOD PROGRAMMER IN C WHAT I DO FOR GOOD PROGRAMMING ,TELL ME HOW C CODING DEVELOP DY ITSELF

Described the difference among "new" and "operator new" ? A:"operator new" works such as malloc.

Explain the Loop Statements in Computer Programming? 1. C gives you a choice of three kinds of loop, while, do while and for. 2. The while loop remain repeating an action until

I want to take 1.1 as input but when I am declaring it as float the output is given as 1.1000000

Write a program to calculate e^x using the formula: e^x = 1 + x/1! + x^2/2! + x^3/3! + ...... Allow the user to enter the integer number x, then do the calculation in a loop (for

1.jewels can only be removed for polishing from either end of the necklace. 2.cost of polishing=sitting number*colour value of jewels.

Identify 2 to 3 existing algorithms commonly used for object tracking. Algorithms should be in C or written in MATLAB language. Document these algorithms in flowcharts and run thes