Term Rewriting vs Unification

cs.stackexchange https://cs.stackexchange.com/questions/41804

문제

How is term rewriting different from unification, and what's the difference between term rewriting languages and logic programming, like Prolog?

올바른 솔루션이 없습니다

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