prolog

0열

1답변

Prolog에서 상대 규칙을 정의하는 방법은 무엇입니까? 이것은 내가 지금까지 무엇을 가지고 있습니다 : 사전에 spouce(X,Y) :- wife(X,Y). spouce(X,Y) :- husband(X,Y). relative-by-blood(X,Y) :- ancestor(Z,X), ancestor(Z,Y).

11열

1답변

Prolog가 목록과 함께 있습니다.

이 오류가 L is [1,2,3,4]에 실패하고 작동하는 이유는 무엇입니까? L = [1,2,3]? 그러나 L is 1 및 L = 1은 모두 동일하게 작동합니다.

1열

2답변

X, Y를 (1,2), (1, -2), (-1,2), (-1, -2), (2,1), (2, -1)로 통합하는 우아한 방법은 무엇입니까?), (-2,1), (-2, -1)?

X, Y를 (1,2), (1, -2), (-1,2), (-1, -2), (2,1), (2, - 1), (-2,1), (-2, -1)? 이런 식으로 이렇게는 보이는 경향이 지루한 오류 : foo(1,2). foo(1,-2). foo(-1,-2). ... ... ... 그리고이 방법은 너무 비싸 보인다 foo(X,Y) :- L = [1,-

4열

1답변

SWI-Prolog에서 결과 목록을 확장하는 방법은 무엇입니까?

?- length(L,25). L = [_G245, _G248, _G251, _G254, _G257, _G260, _G263, _G266, _G 269|...]. 길이 술어 다음에 write (L)를 사용하면 해석기가 목록을 두 번 인쇄합니다. 하나는 확장되고 다른 하나는 확장되지 않습니다.

1열

1답변

Binary Tree Isomorphism

두 개의 이진 트리가 서로 동형인지를 결정하는 프롤로그 조건자를 작성하는 임무가 있습니다. 술어는 모든 이진 트리에 동형 그래프를 모두 제공 할 수 있어야합니다. 여기는 내가 지금까지 가지고있는 것입니다, 중복을 제외하고 작동합니다. % Clause: btree_iso % % Specification: % -------------- % Satisfi

0열

1답변

꼬리 재귀 합계, 전력, 프롤로그에서 gcd?

어떻게 할 수 있습니까? 다음 조건 자 각각에 대해 꼬리 재귀 정의를 제공하십시오. power(X,Y,Z) : XY = Z. gcd(X,Y,Z) : X와 Y의 최대 공약수는 Z. sum(L,Sum)입니다 : 맞습니다 경우 합계가 지금까지 내가 이런 짓을하지만, 확실하지 않은 L.의 요소의 합이다 power(_,0,1) :- !. power(X,Y,Z) :

1열

2답변

프롤로그에서 간단한 그래프 검색

SWI-Prolog에서 간단한 그래프 검색을 코딩하려고합니다. 나는 다음 프로그램을 생각해 냈다. adjacent(1,4). adjacent(4,2). adjacent(3,6). adjacent(6,4). adjacent(7,10). adjacent(4,9). adjacent(5,10). adjacent(7,10). adjacent(7,12). adj

0열

1답변

프롤로그 조건부 단순히 같은 프롤로그에서 조건부을 할 노력하고있어

을 평가하지 않음 : ((생명 == 죽은) -> 트랜스 = 없음).하지 위의 코드는 Life == dead, Trans = no로 평가할 수 있다고 생각했지만 어떤 이유로 그럴 수 있습니까? 감사. 나를 위해

0열

1답변

프롤로그의 목록으로 쿼리 확장

쿼리를 목록으로 확장하는 방법? f(a,b). f(a,c). d(a.d). expand(f(a,X), Out) -----> Out=[b,c,d]

1열

1답변

프롤로그 "is"함수가있는 문제

내가 이해하지 못하는 프롤로그 문제가 있습니다. 문제를 추적하기 위해 추적 프로그램을 사용했습니다.이 경우 발생합니다. .... (8) 8 NEXT value(debt, p9, Orly) (8) 8 *EXIT value(debt, p9, low) (9) 8 CALL P is low S (10) 9 CALL error_handler(21