as2.pdf - CPSC 312 Functional and Logic Programming Fall 2017 Assignment Two Proofs Negation Relations Due 11:59pm Tuesday 19 September 2017 Submit

as2.pdf - CPSC 312 Functional and Logic Programming Fall...

This preview shows page 1 - 2 out of 2 pages.

CPSC 312Functional and Logic ProgrammingFall 2017Assignment Two: Proofs, Negation, RelationsDue: 11:59pm, Tuesday 19 September 2017. Submit solution to CanvasThese questions should be done with SWI Prolog. See the web page for how to download and install SWIProlog.Submit your answers in text files using Canvas (you may include a diagram or photo of the box model).Use proper sentences in your answers. Make sure you name, student number is at the top of each file. Submittext files only(not Word, ODF, XML, or any other non-text formats), plus the diagram.Question OneGiven the prolog program in˜poole/cs312/2017/as2/sillyeg.pl(a) Show how the bottom-up proof procedure works for this example. In particular show a sequence ofatoms added to the consequence set together with the corresponding clauses selected.(b) Give a failing derivation for query:?- slithy.(c) Give a succeeding derivation for query:?- slithy.
Background image
Image of page 2

You've reached the end of your free preview.

Want to read both pages?

  • Fall '09

What students are saying

  • Left Quote Icon

    As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

    Student Picture

    Kiran Temple University Fox School of Business ‘17, Course Hero Intern

  • Left Quote Icon

    I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

    Student Picture

    Dana University of Pennsylvania ‘17, Course Hero Intern

  • Left Quote Icon

    The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

    Student Picture

    Jill Tulane University ‘16, Course Hero Intern

Stuck? We have tutors online 24/7 who can help you get unstuck.
A+ icon
Ask Expert Tutors You can ask You can ask You can ask (will expire )
Answers in as fast as 15 minutes