gnu-prolog

1열

2답변

GNU Prolog에서 ensure_loaded/1 work 을 다른 많은 Prolog 시스템에서도 사용할 수있는 해결 방법이 있습니까? 목표는 나머지 부분이 코드가 어떤 Prolog 시스템을 사용하는지에 관계없이 ensure_loaded/1을 사용할 수 있도록 전치부를 갖는 것입니다. 나는 시도 다음 :- multifile(term_expansion/2)

2열

1답변

GNU Prolog에서 "long int"를 사용하는 방법은 무엇입니까?

기본적으로 GNU Prolog는 32 비트 x86 Linux에서 28 비트 정수를 사용합니다. 아래의 코드는 컴파일 할 수 없습니다 방법 GNU 프롤로그에서 32bit 정수를 표현하기 위해 (을 0xdeadbeef 같은) : foo(A) :- A0 is 0xdeadbeef, A1 is A0 >> 8, A2 is A0 >> 16,

2열

1답변

GNU Prolog : 쿼리 용 WAM 코드 표시?

GNU Prolog을 사용하여 쿼리에 대한 WAM 코드를 표시 할 수 있습니까? 나는 프로그램에서 WAM을 생성하기 위해 pl2wam을 사용할 수 있지만 프로그램에서 수행하는 쿼리는 어떻게해야합니까? 이것에 대한 WAM 코드를 표시하는 방법이 있습니까? 나는 64 윈도우

0열

2답변

macOS에서 gprolog를 실행하는 방법 Sierra

방금 brew install gnu-prolog을 사용하여 gnu-prolog를 설치했습니다. 터미널에서 gprolog을 실행하려고하면 gprolog: command not found이 나옵니다. 나는 ElCapitan을 실행중인 다른 머신에 똑같이 시도해 보았고 완벽하게 작동했습니다. macOS Sierra에서 gprolog을 사용할 수있는 방법이 있

3열

1답변

매치리스트 오류?

0열

2답변

gprolog include 지시문이 작동하지 않습니다.

Fedora 17 Linux 시스템에서 gprolog 버전 1.4.2를 실행하고 있습니다. 나는 잘 실행되는 작은 프롤로그 프로그램을 작성했습니다. 필자는 다른 프롤로그 프로그램에서 끌어 올리고 사용하고자하는 몇 가지 조건을 정의했습니다. 그래서 나는 그것들을 별도의 파일에 넣고 include 지시어 (버전 1.4.2 GNU Prolog 매뉴얼의 초 7.1

1열

1답변

프롤로그 목록 오류에서 최소 찾을

내 코드 작업을하려고하지만, 어떻게 든 난 프롤로그에 아주 초보자 문제가 붙어있어. 이것은 내 코드입니다. ((평가가를 type_error/2), (<)/2 '.') 오류가 나 ': 나는 findMin()를 호출 할 때 dist(valmiera, riga, 107). %dist(riga, valmiera, 107). dist(cesis, riga, 70

2열

1답변

findall/3은 솔루션 대신 빈 목록을 반환합니다.

문제를 해결하기 위해 GNU Prolog를 사용합니다. 나는 다음과 같은 조건을 정의했습니다 : % P is the product of X and Y produit(X,Y,P) :- between(2,200,X), between(2,200,Y), X #<# Y, X*Y #=# P. % S is the sum of X

3열

3답변

GNU 및 SWI에서 작동하는 Prolog 코드 만들기

여기에는 한계가 있다는 것을 알고 있지만 Prolog 코드에 조건부 지시문을 넣어 합리적으로 GNU 또는 SWI에서 작동하도록 합법적 인 방법이 있습니까? 적어도 가장 단순한 경우를 생각하고 있는데, SWI의 sumlist과 GNU의 sum_list과 같은 내장 된 술어는 서로 맞춤법이 맞지 않습니다. 또는 SWI는 assert이지만 GNU는 그렇지 않습니

3열

1답변

기본 예제의 프롤로그 존재 오류

나는 프롤로그의 기초를 배우고 다음 코드를 사용하여 exist_error를 계속 실행하려고합니다. comes_after(m1, m2). comes_after(m2, m3). comes_after(m3, m4). comes_after(m4, m5). comes_after(m5, m6). does_come_after(X, Y) :- comes_aft