대칭 표현을위한 MGU 찾기

StackOverflow https://stackoverflow.com//questions/20022081

문제

이 쌍의 표현식을 감안할 때 MGU를 찾을 수 있습니까?

  1. f (x, y)
  2. f (y, x)

    3. x / y가 가능할 때 가능하다고 말하고 싶었지만 그게 합법적인지 확실하지 않았습니다. 너희들은 무엇을 말 하느냐?

    감사합니다!

도움이 되었습니까?

해결책

예, 이들 용어는 쉽게 통일 될 수 있으며, 어설 션 x= y를 부작용으로 생성 할 수 있습니다.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top