I need help to solve Geneology problem, please?

[Shuvro]

given the following knowledge base for family relation:

female(shelley).

female(mary).

female(lisa).

female(joan).

mother(mary, jake).

mother(mary, shelley).

mother(lisa, mary).

mother(joan, bill).

father(bill, jake).

father(bill, shelley).

father(bob, mary).

father(frank, bill).

 

Write a predicate sibling/2 based on the knowledge given, will return the siblings based on the above knowledge. For example if you write sibling(child1, child2) then your program will return Child1 = jake

Child2 = Shelley. using prolog programming

Edited April 24, 2013 by Shuvro
need some correction

[pBe]

Is this a school assignment?

[Shuvro]

no this is not a school assignment.i have already tried it,,but it seems very difficult to me..

[Shuvro]

Hi,

 

I am facing problem again.

[Tharwat]

What kind of problem it is ?

[Lee Mac]

Convert the following logic into AutoLISP code:

if (year is divisible by 4)
{
   if (year is divisible by 400)
   {
       return true
       else if (year is divisible by 100)
       {
           return false
           else return true
       }
   }
   else return false
}

[Shuvro]

predicate sibling/2 based on the knowledge given, will return the siblings based on the above knowledge.

 

i cant understand those lines of the question.please solve this for me and make me smile again.....

[Lee Mac]

Huh? This thread was about leap years a minute ago...

[ReMark]

It seems the OP has multiple posts requesting aid in solving logic(?) problems.

[Shuvro]

solve this problem plz,,i need this badly

[troggarf]

its that time of year again

[Tharwat]

its that time of year again

................

[ReMark]

Please hurry. My boss requested this an hour ago.

[troggarf]

I kinda feel bad for him...

[Shuvro]

hey guys..u there.please help me

[ReMark]

Maybe if you were to tell us the reason behind these questions we would have a better understanding of where this is all going. Your questions don't exactly seem to be related to CAD.

[Shuvro]

i wanna solve this problem for my satisfaction,,but i failed.Some coding problem occurred during this.so please help me to solve this

[fabriciorby]

Show us your code (:

[MSasu]

You may post your attempt here and for sure someone will help you to debug it.

[Shuvro]

i have started this way...may be its wrong,,i dont know.i think this is similar to my problem

 

female(X,Y) :- father(Z,X), father(Z,Y), not(X=Y). % 6

mother(X,Y) :- father(Z,X), father(W,Y), brother(Z,W). % 7

father(X,Y) :- father(Z,X), father(Y,Z). % 8

descendent(X,Y) :- father(Y,X). % 9

descendent(X,Y) :- father(Z,X), descendent(Z,Y). % 10

?- brother(X,Y).

X = b Y = c ;

X = c Y = b ;

X = d Y = e ;

X = e Y = d ;

No

 

?- cousin(X,Y).

X = d Y = f ;

X = e Y = f ;

X = f Y = d ;

X = f Y = e ;

No

 

?- grandson(X,Y).

X = d Y = a ;

X = e Y = a ;

X = f Y = a ;

No

 

?- descendent(X,Y).

X = b Y = a ;

X = c Y = a ;

X = d Y = b ;

X = e Y = b ;

X = f Y = c ;

X = d Y = a ;

X = e Y = a ;

X = f Y = a ;

No