Tek-Tips is the largest IT community on the Internet today!

Members share and learn making Tek-Tips Forums the best source of peer-reviewed technical information on the Internet!

  • Congratulations Mike Lewis on being selected by the Tek-Tips community for having the most helpful posts in the forums last week. Way to Go!

Newbie

Status
Not open for further replies.

MOB11

Programmer
Aug 31, 2005
1
NL
hi
This clause determines if B = 2*A ( d(A,B) )via the next definitions.

d(0,0).
d(s(X),s(s(Y))):- d(X,Y).

Here s is the suc. function.
Now i need to modify this to be able to implement the relation
'is smaller than 2 times of'. with other words
p(X,Y) is true if x < 2 * y.

Can anybody help me plz?
 
Status
Not open for further replies.

Part and Inventory Search

Sponsor

Back
Top