Question

course assessmentid=4404981&course da QUESTION 16 Entering a 07 makes the Prolog system continues to search when it runs a query QUESTION 17 Which of the following defines <termlist> os :: = <term> | Clerm> 0 ::- <integer> | <reat number - <atom ( termilis e = <costant νariable> QUESTION 18 parent(adam, Child) and parent(adam, seth) unify by binding the variable Child to atom

Answer 1

16th Answer: Option D

Enter a ; makes the prolog system continues to search when it runs a query.

17th Answer: Option C

:= <atom> ( <termlist> ) is the one that defines <termlist>

18th Answer: Seth

parent(adam, child) and parent(adam, seth) unify by binding the variable child to atom seth

19th Answer: Option D

The MGU of the heads is { X-> f(Y) }, then resolution([p(f(Y)), q(Y)m r(Y) ], [p(X), s(X) ] = [a(Y),r(Y),s(f(Y))]

20th Answer: TRUE

The predicate assert(X) adds the term X as a fact in the database.