sicstus-prolog

3열

1답변

밀도가 높은 비트 벡터 —을 나타내는 데 임의 정밀도 정수를 사용하고 있습니다. 에서부터 수천에 이르기까지입니다. 내 코드가 자주 특정 비트가 약간의 변화 속도가 매우 빠르고 다른 사람보다한다면, 그래서 내가 볼 수있는 몇 마이크로 벤치 마크를 한 설정 (또는)됩니다 있는지 확인해야 : bench_1(0, _, _) :- !. bench_1(N, V,

3열

1답변

대체 SICStus 프롤로그 FFI SP_define_c_predicate는()

는 내가 SICStus 프롤로그를 붙여 4.3.3 SP_define_c_predicate() 샘플 —와 ... 이 실패로-: 나는 SICStus C 파일을 포함 grepped, 지금까지 $ /usr/local/sicstus4.3.3/bin/splfr square.pl square.c square.c: In function ‘square_it’: sq

4열

2답변

누적 (cumulatives) 사용

cumulatives/[2,3] 술어를 사용하는 문제에 대해 작업하고 있습니다. 그러나 이것을 결합하려고하면 성능이 매우 좋아집니다. minimizelabeling 다음 데모가 있습니다. 10 작업, 모두 기간 1, 4 머신, 모두 용량 = 1입니다. 내 목표는 총 시간, 즉 minimize(maximum(Es)) 최소화하는 것입니다 : 지금 이것을 실행하

0열

1답변

SPIDER IDE를 사용하여 SICStus에서 Prolog를 컴파일 할 때 오류가 발생했습니다.

Eclipse 용 SICStus Prolog 및 SPIDER IDE 플러그인을 방금 설치했습니다. SPIDER가 업데이트 사이트를 사용하여 설치되었으며 환경 설정에서 SICStus 설치 경로를 설정하고 확인했습니다. 그때 나는 새로운 작업 공간 만 다음 파일 test.pl을 포함하는 프롤로그 프로젝트를 생성 : test :- write('Hello Worl

1열

1답변

이클립스 RCP는 ClassCastException BundleURLConnection JarURLConnection를

나는 SICStus 클래스와 startServer() 방법을 사용하여 이클립스 RCP 응용 프로그램의 일환으로 에서 자바을 SICStus 서버를 시작 SICStus에서 재스퍼 인터페이스를 사용하려고 오전 : http://sicstus.sics.se/sicstus/docs/3.12.7/html/sicstus/Jasper.html http://sicstus.s

6열

3답변

메모리 누수 Sicstus Prolog

이 질문은이 question의 후속 조치입니다. 나는 Sicstus 프롤로그에서 테스트의 큰 숫자를 실행 해요 : runtest:- t1, t2, t3, . . t100. 각각의 테스트가 독립하고 화면에 그 결과를 출력합니다. 테스트 간에는 관련성이 없으므로 각 테스트 사이에 데이터를 저장하거나 저장할 필요가 없습니다. '자원 오류 : 메모리

1열

1답변

SICStus Prolog가 변경을 무시합니다.

저는 프롤로그를 처음 접했습니다. SICStus를 사용하여 이미 문의 한 파일을 변경하면 SICStus는 변경 내용을 인식하지 못합니다. 창문을 닫고 다시 시작하는 유일한 방법은 나를위한 것입니다. 그러나 분명히 이것은 파일을 변경할 때마다 창을 닫을 때 짜증나는 것이 아니라 시간 낭비라는 점에서 실용적이지 않습니다. 나는 Windows 버전 인 Sicst

1열

1답변

x86 플랫폼의 SICStus Prolog 업그레이드

현재 32 비트 플랫폼의 경우 SICStus 버전 3.12.10 및 patch1 (x86-linux-glibc2.3)을 사용하고 있습니다. 내 요구 사항 : 새로운 요구 사항에 따라 SICStus Prolog 버전 4.2.3을 업그레이드하고 x86 플랫폼을 32 비트에서 64 비트로 변경해야합니다. 코드 변경 사항을 수정해야 할 부분을 설명해 주시겠습니까?

4열

1답변

SICStus Prolog에서 SWI-Prolog의 atom_to_term (+ Atom, -Term, -Bindings)을 시뮬레이트하는 방법은 무엇입니까?

은 내가 달리 에이전트를 작성하는 SICStus 프롤로그를 사용하고 난 용어에 원자를 변환해야하지만 SWI - 프롤로그에

0열

1답변

매트릭스 열과 all_different 사용의 차이점

목록 목록의 한 요소에서 다른 요소로의 전환에 대한 관계를 표현하려고합니다. 내가 할 수 있기를 원하는 것은 두 가지 임의의 요소 사이에 일정한 차이가 있어야한다고 말하는 것입니다. 우리는 목록의 모든 요소가 내가 지금 표현 할 길이 Y.의 목록입니다 X=[X1,X2,X3,...Xn] 이있는 경우 그 XA 거기에해야 Xa-> XB에서 차이가 어디에서 모