현재 ISO 표준의 the built-ins을 사용하는 두 개의 고유 변수 목록이 정확하게 동일한 변수를 포함하는지 테스트 (따라서 성공 또는 실패 만)하는 메타 논리 술어를 정의하는 방법 (ISO/IEC 13211- 1 : 1995, Cor.2 포함). 고유 변수의 한 목록이 다른 하나의 순열 일 경우 조건부가 성공해야합니다. library(ordsets
필자가 쓰는 Prolog 프로그램의 일부로 pi을 사용하고 있습니다. uncaught exception: error(type_error(evaluable,pi/0),(is)/2)
가/I 호출의 측면에서 뭔가 잘못을하고있는 중이 야 : 나는이 프로그램을 실행하면 ArcDistance is ((Degree/ 360) * Diameter * pi).
그러
Prolog 원자를 정수로 변환해야합니다. 예를 들어 : ?- convert('123', X).
X = 123
yes
나는 그것에 대해 몇 가지 SO 답변을 봐 왔지만, 그들은 SWI - 프롤로그에 의존하고, 나는 SICStus 프롤로그를 사용하도록 강요하고있다. 문자열을 캐스팅하면 number_codes/2 술어를 인식하므로 작업을 수행 할 수도
여기에는 한계가 있다는 것을 알고 있지만 Prolog 코드에 조건부 지시문을 넣어 합리적으로 GNU 또는 SWI에서 작동하도록 합법적 인 방법이 있습니까? 적어도 가장 단순한 경우를 생각하고 있는데, SWI의 sumlist과 GNU의 sum_list과 같은 내장 된 술어는 서로 맞춤법이 맞지 않습니다. 또는 SWI는 assert이지만 GNU는 그렇지 않습니
고유해야하는 프로 시저 (본질적으로)의 이름을 사용하는 DSL을 작성합니다. 어떤 오류 용어를 사용하여 두 번째 정의를 나타낼지는 분명하지 않습니다. exist_error 종류가 맞지만 다소 불편합니다. 그것은 여러 정의가 아니라 정의가 누락 된 것 같습니다. permission_error (수정, 절차, 이름/Arity)는 유망한 것처럼 보이지만 "어떤
타자 "프롤로그"를 실행할 때 터미널에서 정답,하지만 잘못된 답을 얻는 것은 가져옵니다 GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
| ?-
타이핑 : | ?- member(2, [1,2,3]).
가져옵니다 : true ?
Enter를 누르면 다음과 같이 표시
SICStus에서 once을 어떻게 사용할 수 있습니까? SWI 프롤로그에서 다음 작품 : test(X, Y, abc) :- once(X == 'true' ; Y == 'true').
하지만 SICStus 프롤로그에서, once는 알 수없는 것 같다. SICStus에서 once에 해당하는 것은 무엇입니까? 감사합니다.
Java에서 임의의 용어 표현을 사용하여 표현 된 Prolog 프로그램을 파일로 내 보내야합니다. 아이디어는 Prolog 인터프리터가 나중에 생성 된 파일을 참조 할 수 있어야한다는 것입니다. 제 질문은 원자 용어를 나타내는 Java Strings 파일에 올바른 방법을 쓰는 것입니다. 안녕하세요 세계 이 이된다 '안녕하세요 세계 : 문자열
샘플 프로그램은 열 여덟 개의 퀸 솔루션 수를 열거하고 계산합니다. [user].
(perm([X|Y],Z) :- (perm(Y,W),takeout(X,Z,W))).
perm([],[]).
takeout(X,[X|R],R).
(takeout(X,[F|R],[F|S]) :- (takeout(X,R,S))).
(solve(P) :- (perm([1,2
질문의 내용이 정확하지 않습니까, 사과하십시오. 기본적으로 내가 원하는 것은 Prolog에서 오류 처리를 생성하는 것입니다. 예를 들면 : ?- fruit(X).
가 어떻게 그들이 오류 만든 사용자에게 알리는 것 : 사용자가 조회 할 수 있었다 이제 경우 fruit(apple, pear).
? Data should be entered in the f