XSB 프롤로그 (또는 다른 프롤로그)에서 여전히 강력한 특성으로 간주되는 Hilog 용어 (즉, 임의의 용어로 펑터를 갖는 화합물)는 있습니까? 현재이 기능을 사용하는 XSB 프로젝트가 많이 있습니까? 예를 들면 어떤 것인가? 나는 ISO 프로그래밍 내장 호출/N을 사용하여 상위 프로그래밍이 똑같이 가능하다는 것을 알고 있기 때문에 질문합니다. 특히 XS
boolean(true).
boolean(false).
formula_0(P, Q):- (P; Q), \+ P.
solution_for_formula(P, Q, Formula):-
maplist(boolean, [P, Q]), call([Formula, P, Q]).
내 earlier question의 후속 조치. 왜이게 효과가 없을까요
더 많은 술어를 지정하여 노드를 선택합니다. W3 스쿨에 설명 된 바와 같이 나는이 방법으로 수행해야 할 일 사이트 w3schools : /bookstore/book[price>29 and price<50]
그러나 할 수있는이 방법의 차이가있는 경우 내가 당신을 물어 보곤 다음과 같은 : 궁금 /bookstore/book[price>29][price<5