상황 : 많은 기준에 C의 상태를 체크 ++ 또는 C 번호 : if (condition1 && condition2 && condition3)
{
// Do something
}
나는 항상 이러한 검사가 보장되지 수행되는 순서를 생각했습니다. 따라서 반드시 첫 번째 조건 1 일 필요는없고 다음에 조건 2 만 수행 한 다음 조건 3 일 필요는
그래서 적어도 두 명의 교수가 역 추적을 사용하면 알고리즘이 왜 그렇게 많은 설명을하지 않고 비 결정적이라는 것을 알게되었습니다. I 생각해 보면 나는 이런 일이 어떻게 일어 났는지 이해하지만 말로 표현하는 데 어려움이 있습니다. 누군가이 이유에 대한 간결한 설명을 해 줄 수 있습니까?
Prolog에서 someFunction(List) :-
someOtherFunction(X, List)
doSomethingWith(X)
% and so on
과 같은 작업을 수행 할 수 있습니다. List의 모든 요소를 반복하지 않습니다. 대신 여러 다른 "머신" (여러 스레드 사용, 단일 스레드에서 백 트랙킹, 병렬 유