Quiz Stuff

• Use a full sheet of 8½ x 11" paper. (Half sheet? Half credit!)
• Put your last name and first initial in the far upper left hand corner of the paper, where a staple would hit it. (It helps when sorting quizzes!)
  Example:
  
  Mitchell, W.
  
• No need to write out questions.
• Numbering responses may help you avoid overlooking a question; it's ok to go ahead and pre-number your sheet.
• 3'30"; five questions, plus an extra credit question.
• Can everybody see this line?

Quiz 11; April 9, 2018; 3'30"; ½ point per answer; 4 points total

1. With Prolog in mind, write an example of each of the following:
   • An atom
   • A structure with two terms
   • A variable
   • A query
2. A Prolog query has one or more __________.  (Hint: starts with "g".)
3. What's the command to run SWI Prolog on lectura?
4. What is the output of the following?

   ?- write(3+4).
   

5. Consider the following fragment of interaction with SWI Prolog. If the user types a semicolon, what will happen?

   ?- food(X).
   X = apple
   

Answers

1. With Prolog in mind, write an example of each of the following:
   • An atom
     a
   • A structure with two terms
     a(1,2)
3+4
   • A variable
     A
   • A query
     food(X).
2. A Prolog query has one or more   goals  .
3. What's the command to run SWI Prolog on lectura?
   swipl
4. What is the output of the following?

   ?- write(3+4).
   

   Anything that doesn't have 7 will be counted as correct.
5. Consider the following fragment of interaction with SWI Prolog. If the user types a semicolon, what will happen?

   ?- food(X).
   X = apple
   

   It will print the next value of X for which food(X) can be proven.