3

  • What is the output of the following query?
           ?- functor(owns(jim, book(author(joanna, rowling),
                             title("Harry Potter and the Half-Blood Prince"))),
                   FuncName,
                   Arity).

    Solution:

      FuncName=owns
      Arity=2