최근에 프롤로그에 대해 배우고 중개 연산자를 정의하는 데 사용되는 세 가지 유형을 혼동합니다. 연산자 유형을 지정할 때 xfx, xfy 및 yfx의 차이점은 무엇입니까? 나는이 문제에 대해 봤는데 유용한 것을 발견하지 못했다. :- op(500,yfx,is_alive).
is_alive(A,B) :- display([A,B]).
:- op(500,xfy
목록에있는 모든 목록에 목록을 추가하는 방법을 찾으려고합니다. 같은 뭔가 : appendAll([a,b],[[q,w],[z,x]],X).
X = [[a,b,q,w],[a,b,z,x]].
나는 아직 프롤로그에 새로 온 사람과 중첩 된 목록은 꽤 날을 던지고있다. 내가 지금 몇 시간 째 이렇게보고있어 : appendAll([], _, []).
appen
필자는 모든 문자열에서 특정 길이의 무차별 검색을 수행하는 프롤로그 프로그램을 가지고 있습니다. 어떤 문자열이 특정 패턴과 일치하는지 확인하고, 모든 문자열을 포함하는 패턴 집합을 찾을 때까지 패턴을 계속 유지합니다. 어느 패턴이든 내 패턴과 일치하지 않는 파일에 저장하고 싶습니다. 따라서 새로운 패턴을 추가 할 때 전체 무차별 강제 검색을 다시 수행하는
프롤로그를 처음 사용하고 프롤로그에서 우선 순위를 변경하여 운영자를 재 할당하려고합니다. 나는 다음과 같은 4 오류로 실행 해요 : (다른를 warning: directive failed (op(1000,xf,+)) with exception (error(permission_error(create,operator,+),op/3))
나는 또한 모듈 하나에
프롤로그의 파이프 연산자는 하나 이상의 원자 머리와 꼬리 목록을 반환합니다. 한 번의 매치에서 ?- [a,b,c] = [a,b|[c]].
true.
중첩 여러 파이프이 유사한 수행 할 수 있습니다 ?- [a,b,c] = [a|[b|[c]]].
true.
무엇 b와 c 약 문 [a|b|c] 추론을합니까? 편집 지금까지 내가 추론 할 수있는 모든은
위의 프로그램에 대해 다음 논리를 사용했지만 오류 메시지는 >=/2: Arithmetic: 'a/0' is not a function입니다. 프로그램을 수정하려면 어떻게해야합니까? digit(X):- X>=0,X<10,write('input is digit').
uppercase(X):- X>='A',X<'[',write('input is uppercas
나는 정의했다! (팩토리얼) 함수를 만들고 산술 함수와 연산자로 등록하여 다음을 실행할 수 있습니다. A is 6 !. 이제 저는 정의하고 싶습니다 !! (홀수의 계승), 같은 방법으로 - 절을 쓰고, arithmetic_function과 operator를 등록하고, A를 호출하는 것은 7입니다 !! - 결과는 입니다. 구문 오류 : 운영자 예상 가능한 경
자바 스크립트는 다른 프로그래밍 언어의 구현 언어로 널리 알려졌다. 기사에 Lightweight compilation of (C)LP to JavaScript. ICLP 2012 이 이에 주목했습니다. 웹상에서 Javascript로 작성된 Prolog 시스템에 대한 개념 증명 프로토 타입이 많이 있습니다. Javascript로 작성된 현재 적합하고 적극적으
XSB 프롤로그 (또는 다른 프롤로그)에서 여전히 강력한 특성으로 간주되는 Hilog 용어 (즉, 임의의 용어로 펑터를 갖는 화합물)는 있습니까? 현재이 기능을 사용하는 XSB 프로젝트가 많이 있습니까? 예를 들면 어떤 것인가? 나는 ISO 프로그래밍 내장 호출/N을 사용하여 상위 프로그래밍이 똑같이 가능하다는 것을 알고 있기 때문에 질문합니다. 특히 XS