contestada

Suppose that prolog facts are used to define the predicates mother(m, y) and father(f, x), which represent that m is the mother of y and f is the father of x, respectively. Give a prolog rule to define the predicate grandfather(x, y), which represents that x is the grandfather of y. Use a comma to denote "and" and a semicolon to denote "or. ".

Respuesta :

MrRoyal

Prolog languages are logics that are used when creating programs that require artificial intelligence.

The prolog rule to define the predicate grandfather(x, y) is grandfather(X,Y) :- mother(M,Y), father(X,M); father(F,Y), father(X,F)

How to determine the prolog rule

From the question, we have the following definitions:

  • mother(m, y): m is the mother of y
  • father(f, x): f is the father of x

For x to be the grandfather of y, then either of the following definitions must be true

  • m is the mother of y, and x is the father of m
  • f is the father of y, and x is the father of f

Using the above highlights, the prolog rule would be

grandfather(X,Y) :-

mother(M,Y), father(X,M);

father(F,Y), father(X,F)

Read more about logics at:

https://brainly.com/question/24833629

Otras preguntas