Quiz Stuff

Quiz 7; February 22; four minutes; 2+1+1+1+1+1 points

  1. Write short examples of each of these four: atom, variable, fact, query. Use letters whose case is easily distinguished.
  2. Write a two-term structure with the functor two.
  3. With a "can you prove" mindset, what is ?- dog(rocky). asking?
  4. What are two distinct computations that can be done with the predicate food/1 that we saw on Monday?
  5. What does the built-in predicate atom/1 do?
  6. Name a built-in predicate other than atom/1.
EC ½ pt: What language was Prolog first implemented in?