나는 변수를 증가하려고 M
에 의해 1
각 재귀 호출로.
나는 이것을 해결하려고 노력했지만 쿼리 할 때 '인수가 충분히 인스턴스화되지 않았습니다'. 기본 케이스가 있으며 이전 값을 저장하고 새 값을 통합하기 위해 두 개의 변수를 반사적으로 사용하여 증가합니다.
포인트 (a, b). 포인트 (a, c). 포인트 (b, d). 포인트 (c, d). 포인트 (d, e). 포인트 (f, g). linkup (Point, Point, 0). linkup (Point1, Point2, Count) : -Counthelp는 Count + 1, point (Point1, Link) , linkup (Link, Point2, Counthelp)입니다.
나는 이것이 당신이 필요하다고 생각합니다.
linkup(Point1,Point2,0) :- point(Point1,Point2).
linkup(Point1,Point2,Counthelp) :-
point(Point1,Link),
linkup(Link,Point2,Count),
Counthelp is Count+1.
"Prologishly"라고 생각하는지 확인해야합니다. Counthelp
당신이 그것을 통과하고 그것을 통과하지 그래서 변수는 출력이다. 또한 마지막으로 이렇게 계산 될 필요가 Count
이미 통합됩니다.
이 기사는 인터넷에서 수집됩니다. 재 인쇄 할 때 출처를 알려주십시오.
침해가 발생한 경우 연락 주시기 바랍니다[email protected] 삭제
몇 마디 만하겠습니다