Define a relationship even x which is true

Assignment Help Computer Engineering

Reference no: EM132121076

Recall the successor notation for representing natural numbers as terms in Prolog. In this notation, "0" stands for the number zero, "s (0)" stands for one, "s (s (0))" stands for two, and so on.

(a) Based on the successor notion, define a relationship "odd (X)" which is true if X is an odd number.

(b) Based on the successor notion, define a relationship "even (X)" which is true if X is an even number. Your definition should be built on top of the odd (X) relationship.

(d) How will Prolog answer the following question? ?- odd(s(X)). When several responses are possible, give two.

Reference no: EM132121076

Questions Cloud

Recall merge sort sorts a vector of elements : Write your own version of merge_sort(), merge(), and copy() functions.Do not use generic functions such as sort(), inplace_merge(), merge() or copy().

What annual rate of return must the fund portfolio earn : If you plan to invest for six years, what annual rate of return must the fund portfolio earn for you to be better off in the fund than in the CD?

Write a conjecture about how many leaves are present : Write a conjecture about how many leaves are present in a nonempty complete A-ary tree of height h.

Compare and contrast primary valuation alternatives : Compare and contrast primary valuation alternatives: historical costs (purchase price less accumulated depreciation), fair value (market price).

Define a relationship even x which is true : Based on the successor notion, define a relationship "odd (X)" which is true if X is an odd number.

Broker initial margin requirement : How much in cash or securities must you put into your brokerage account if the broker's initial margin requirement is 50% of the value of the short position?

Do you believe in the existence of wonder heaps : Give a one-sentence definition of i) worst-case running time, ii) tractable problems, iii) the Subset Sum Problem.

What is the npv of the investment : If you insulate your office for $16,000, you will save $1,600 a year in heating expenses. These savings will last forever.

How much more must you deposit today : How much more must you deposit today in order to have the same amount as your sister in 7 years?

User Account

All Pages