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

Assignment Help:

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.

Related Discussions:- Program for read a formal expression from standard input

Developing programs in the c++ programming language., I. COURSE DESCRIPTION...

I. COURSE DESCRIPTION Develops a working knowledge of object-oriented concepts in areas of classes, inheritance, data structures, error handling, templates and file processing.

Creating shopping carts, how to create a shopping cart and sibmit the code ...

how to create a shopping cart and sibmit the code segment on screan

Least cost method, c program to implement least cost method

c program to implement least cost method

C++ programming, give a program to accept and print 2_D Array

give a program to accept and print 2_D Array

Define the bitwise operators in c language, Define the Bitwise Operators in...

Define the Bitwise Operators in c language? C has distinction of supporting special operators that known as bit wise operators for manipulation of data at bit level. These oper

Data type, what is virtual datatype

what is virtual datatype

Fibonacci function by using simple recursive approach, Implement, in rPeANU...

Implement, in rPeANUt, the a Fibonacci function by using the simple recursive approach. The Fibonacci function can be implemented in c as follow: int fib(int x) {   if (x

Minimum shelf, #At a shop of marbles, packs of marbles are prepared. Packet...

#At a shop of marbles, packs of marbles are prepared. Packets are named A, B, C, D, E …….. All packets are kept in a VERTICAL SHELF in random order. Any numbers of packets with the

Assignment question, : Write a program that prompts the user to enter five...

: Write a program that prompts the user to enter five digit positive numbers. The program then outputs the digits of the number one digit per line. Eg if the user enters 32456, th

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd