Add Case Study: Unification

Open grantjenks opened this issue 6 years ago • 1 comments

Example: https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.html

Jan 12 '19 06:01 grantjenks

I think there needs to be a backtracking Pattern for this to work. I’m not sure what that looks like.

Jan 14 '19 07:01 grantjenks