prolog-dif

2열

1답변

다음 프롤로그 질문과 함께 생겼습니다 : 사이클이없는 그래프의 가장자리를 사실로 지정하십시오. 예컨대 : edge(a, b). edge(b, c). edge(c, d). edge(c, e). ... 내가 정점의 X와 사이에 두 개의 서로 다른 경로가 있는지 여부를 테스트하는 술어를 작성해야 Y. 예 : 노드 A에서 노드 C에 두 개의 서로 다른

2열

1답변

Prolog에서 두 번째 답변을 표시 할 수 없습니다.

sisters(mary,catherine). sisters(catherine,mary). brothers(john,simone). brothers(simone,john). marriage(john,mary,2010). marriage(mary,john,2010). marriage(kate,simone,2009). marriage(simone,k

2열

1답변

프롤로그 : 인스턴스화되지 않은 값을 가진 목록의 구성원을 제거하십시오.

this과 비슷한 목록에있는 요소의 모든 요소를 제거하고 싶지만,이 경우 목록에 인스턴스화되지 않은 변수가있을 수 있습니다. 예를 들어 : delMember(z, [A,B,A,z], L). L = [A, B, A]; false. 및 delMember(A, [A, B, A, z], L). L = [B,z]; false. 나는 다음과 같은 d

2열

2답변

dif/2를 사용하여 생성 된 시퀀스에서 중복을 방지하는 방법?

이 질문은 중복 발생이없는 유한 요소 세트로 구성된 모든 시퀀스를 생성하는 (비트 일반화) another question on StackOverflow에 응답하는 동안 나타났습니다. 의견에 Boris가 올바르게 표시되어 있으므로이 문제에 대한 여러 가지 기존 솔루션이 있습니다. 그러나 누산기 (즉, 새로 선택된 요소를 비교하기 위해 이미 선택된 요소의 목록

1열

2답변

프롤로그로 고유 한 결과 얻기

나는이 프롤로그 코드를 가지고 있습니다 : [[vincent,vincent],[vincent,marcellus],[marcellus,vincent],[marcellus,marcellus],[pumpkin,pumpkin],[honey_bunny,honey_bunny]]. :- initialization main. loves(vincent, mia). l

0열

1답변

이유없이 프롤로그 오류가 발생했습니다.

다음 스크립트를 만들었지 만 제 관점에서는 완벽하게 맞지만 오류가 발생합니다. 그 원인은 무엇일까요? remove_repeats([],[]). remove_repeats([X],[X]). remove_repeats([X,X],[X]). remove_repeats([X,Y],[X,Y]):-X=\=Y. remove_repeats([H,H|T],R):-r

1열

2답변

Prolog Unification with not()

나는 프롤로그를 배우는 중이며 머리를 쓸 수 없다. 은 가정하자 나는 value(v)가 올바른 입증 할 수 그래서 a(v)., 나를 거짓주는 다음 프로그램을 value(v). a(X) :- not(value(X)). 있습니다. 사실은 value(w)이 아니므로 나에게 사실을 알려줍니다. 그러므로 시도해 보더라도 올바른 것으로 입증 될 수 없습니다.

7열

1답변

어떻게 DIF/2 제약 조건을 포함하는 교환 법칙의 타당성을 검증하는데?

dif/2 제약 조건에는 많은 과장이 있는데, 특히 (\ =)/2 및 (\ ==)/2의 일부 비 선언성에 대한 구조입니다. 이 비 선언성은 종종 비 단조로 특징 지어지며 비 공존 성의 예가 제시됩니다. 하지만 dif/2가 포함 된 테스트 사례가 교환 가능한지 여부를 테스트하는 방법은 무엇입니까? 가 나는 교환 법칙 시험을하고, 나는 모두 이 같은 결과를 제

1열

1답변

PROLOG - 절은 상수에 대해 true를 반환하지만 변수에 대한 솔루션을 찾지 못하나요?

PROLOG 프로그래밍 언어를 수년 동안 금욕 한 후에, 나는 다시 그것에 들어가려고 노력하고있다. 그리고 즉시 거기에 뭔가 혼란스러워했습니다. 은 (내가 SWI 프롤로그 6.4.1를 사용하고 창에.) 정의 다음을 고려 : father(jack, clara). father(jack, sophie). mother(angela,clara). mother

0열

4답변

Prolog : 목록에있는 두 요소가 똑같이 발생하는지 검색

나는 Prolog를 처음 사용하고 원어민이 아니기 때문에, 제발 이해가되지 않는다면, 죄송합니다. 제 질문은 목록에서 a과 b이 똑같이 나타나는 경우 어떻게 찾을 수 있습니까? 예를 들어, [a,a,b,b]은 true을 제공해야하지만 둘 중 하나가 다른 것보다 많이 표시되면 false을 제공해야합니다. 예 : [a,a,a,b,b]. 아무도 도와 줄 수 있습