Self Eval - Unify

[John N]

What exactly are the five different cases on the self evaluation for the unify function? I looked in the book and they only listed four cases.

I guess, specifically, what is each of the five cases looking for?

[Jay McCarthy]

You could read the thread from the 29th

https://groups.google.com/forum/?hl=en#!searchin/byu-cs-330-fall-2013/rules/byu-cs-330-fall-2013/-2rVEN-LDRM/m8G7iURPZgoJ

> --
> You received this message because you are subscribed to the Google Groups
> "byu-cs-330-fall-2013" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to byu-cs-330-fall-...@googlegroups.com.
> For more options, visit https://groups.google.com/groups/opt_out.



--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93

[Scott Heidbrink]

For case 1, since that is only generated through the unification process how would we show that in a test case?

[Jay McCarthy]

Here are the tests that I used:

(test (unify (list (eqc (t-var 'x) (t-var 'x))))
empty)
(test (unify (list (eqc (t-num) (t-num))))
empty)
(test (unify (list (eqc (t-bool) (t-bool))))
empty)

They show that when you have "X = X" the substitution is unaffected.

Jay

On Tue, Dec 3, 2013 at 10:02 PM, Scott Heidbrink
<scott.h...@gmail.com> wrote:
> For case 1, since that is only generated through the unification process how would we show that in a test case?
>

[Jay McCarthy]

BTW, sorry to miss your call... I was already asleep :)