xsb

2열

1답변

저는 프롤로그에서 프로그래밍 할 때 초보자입니다. 프롤로그 프로그램에서 반환 한 값을 표준 yes 또는 no 대신 true/false를 반환하도록 변경하고 싶습니다. 매우 간단한 예를 생각해보십시오. 예 : isNode(1). yes 내 질문은 : 전에서이 설정을 변경하려면 어떻게 프롤로그 명령 줄에서 simple.P node(1). isNode

1열

1답변

오류 [XSB/런타임/P] : [유형 (아톰 대신 라이브러리 (http/thread_httpd))]

서버에서 XSB를 호스팅하려고합니다. 내가 [xsb_configuration loaded] [sysinitrc loaded] [xsbbrat loaded] [Compiling ./server] ++Warning[XSB]: [Compiler] ./server : Unused symbol http_dispatch/1

7열

1답변

(XSB) 프롤로그의 히 로그 용어

XSB 프롤로그 (또는 다른 프롤로그)에서 여전히 강력한 특성으로 간주되는 Hilog 용어 (즉, 임의의 용어로 펑터를 갖는 화합물)는 있습니까? 현재이 기능을 사용하는 XSB 프로젝트가 많이 있습니까? 예를 들면 어떤 것인가? 나는 ISO 프로그래밍 내장 호출/N을 사용하여 상위 프로그래밍이 똑같이 가능하다는 것을 알고 있기 때문에 질문합니다. 특히 XS

9열

1답변

XSB Prolog의 단위 테스트?

XSB Prolog로 작업하는 사람들은 단위 테스트를 어떻게합니까? 도서관이 있습니까? 또는 어떻게 든 SWI-Prolog의 plunit 라이브러리를 XSB에서 사용할 수 있습니까? XSB (또는 다른 Prologs가 plunit과 호환되지 않음) 용 테스트 라이브러리가없는 경우이 질문의 변형이 될 수 있습니다. Prolog 코드를 어떻게 테스트합니까? 그

0열

1답변

XSB 프롤로그 : 자신의 setof 함수 작성

키보드 입력 (목록)에서 중복되지 않지만 inbuild setof (또는 다른 inbuild 함수)를 사용하지 않고 XSB 프롤로그에서 목록을 가져와야합니다. 어떻게 내 자신의 setof 함수를 작성합니까? 입력 및 출력은, 다음과 같이 |?-list([a,b,c,d,a,b,c,d,e,f],L). L=[a,b,c,d,e,f]; 사전에 감사합니다.

0열

1답변

, 오류

어떤 간단한 코드, 내가, 그것은 저에게이 같은 오류가 표시되고 이클립스 IDE를 사용하여 XSB 프롤로그에서 실행하고 있습니다 : ++ 오류 [XSB/런타임/P] : [존재를 (어떤 절차 usermod에 : 어떤 일이 알고있는 경우 데모/1이 존재)] [] 앞으로 계속 ... ... machine:xsb_backtrace/1 ... loader:loa

0열

2답변

XSB Prolog의 heaps.P 라이브러리는 어디에 있습니까?

XSB 설명서에는 수동 볼륨 2 섹션 1.16.5의 힙 데이터 구조 라이브러리에 대한 단락이 있습니다. 그러나 출처 나 버전 기록 또는 Google을 통해 도서관의 흔적을 발견 할 수는 없습니다. 이 라이브러리가 실제로 존재한다면 어떤 아이디어라도 있습니까? 내가 가진 유일한 단서는 logtalk에있는 도서관으로 동일한 원본에서 출처가 분명합니다. 하지만