swi-prolog에서 사전 사용하기

Question

Prolog에서 간단한 웹 서비스로 작업하고 있으며 사용자에게 JSON 형식의 데이터로 응답하고 싶습니다. 좋은 기능은 reply_json_dict/1입니다. 사전을 가져 와서 잘 형식화 된 JSON 본문을 사용하여 HTTP 응답으로 변환합니다.

제 문제는 응답 사전 자체를 작성하는 것이 약간 번거로운 것 같습니다. 예를 들어 일부 데이터를 반환 할 때 데이터 ID가 있지만 데이터 속성 (가능하면 언 바운드 변수)이 있거나 없을 수 있습니다. 나는 쉬운 방법을 찾고 있어요 ... 잘 작동하므로 출력 Props가 바인딩 여부 따라 { "id" : "III" } 또는 { "id" : "III", "attributes" : "AAA" }이지만,

OutDict0 = _{ id : DataId }, 
(nonvar(Props) -> OutDict1 = OutDict0.put(_{ attributes : Props }) ; OutDict1 = OutDict0), 
reply_json_dict(OutDict1) 

: 순간 나는 다음을 수행합니다. 주로 내가 더 선택 키/값 쌍을 추가해야하는 경우 때문에, 내가 좋아하는 여러 의미로 끝날 :

OutDict0 = _{ id : DataId }, 
(nonvar(Props) -> OutDict1 = OutDict0.put(_{ attributes : Props }) ; OutDict1 = OutDict0), 
(nonvar(Time) -> OutDict2 = OutDict1.put(_{ time : Time }) ; OutDict2 = OutDict1), 
(nonvar(UserName) -> OutDict3 = OutDict2.put(_{ userName : UserName }) ; OutDict3 = OutDict2), 
reply_json_dict(OutDict3) 

그리고 그것은 단지 잘못된 것 같습니다. 더 간단한 방법이 있습니까?

건배, 제이 섹 대신 사전 덤비는의

Answer 1

많은 감사의 말씀을 전합니다.

dict_filter_vars(DictIn, DictOut) :- 
    findall(Key=Value, (get_dict(Key, DictIn, Value), nonvar(Value)), Pairs), 
    dict_create(DictOut, _, Pairs). 

그때는 그렇게 간단 사용할 수 있습니다 : 깔끔한 외모

DictWithVars = _{ id : DataId, attributes : Props, time : Time, userName : UserName }, 
dict_filter_vars(DictWithVars, DictOut), 
reply_json_dict(DictOut) 

Answer 2

,이 경우 내 추천   JSON을 방출하는 다른 술어를 사용하는 것입니다.

예를 들어 HTTP   라이브러리에 필요한대로 현재 출력에서 ​​JSON을 내보낼 수있는 json_write/2을 고려하십시오.

데이터 필드의 당신의 표현은 일반적인 Name(Value) 옵션 처리를 위해 HTTP 라이브러리 전반에 걸쳐 사용되는 표기법 가정 다음 meta-predicateinclude/3를 사용

 
Fields0 = [attributes(Props),time(Time),userName(UserName)], 

, 전체 예제가된다 :

 
main :- 
     Fields0 = [id(DataId),attributes(Props),time(Time),userName(UserName)], 
     include(ground, Fields0, Fields), 
     json_write(current_output, json(Fields)). 

sin 인 개별 요소에 적합한 값을 연결하여 직접 사용해 볼 수 있습니다. gleton 변수 위의 스 니펫에 있습니다.

 
     Fields0 = [id(i9),attributes(_),time('12:00'),userName(_)], 

는 산출 : 예를 들어

, 우리는 (임의)를 사용할 수있는 경우에만 적합한 콘텐츠 형식을 헤더를 방출 할 필요가

 
?- main. 
{"id":"i9", "time":"12:00"} 
true. 

, 동일한 출력을 가지고 그 reply_json_dict/1은입니다.

Answer 3

목록을 사용하여 dict에 들어가야하는 모든 값을 나타내는 경우 한 단계로 수행 할 수 있습니다.

?- Props = [a,b,c], get_time(Time), 
    D0 = _{id:001}, 
    include(ground, [props:Props,time:Time,user:UserName], Fs), 
    D = D0.put(Fs). 
D0 = _17726{id:1}, 
Fs = [props:[a, b, c], time:1477557597.205908], 
D = _17726{id:1, props:[a, b, c], time:1477557597.205908}. 

매트의 답변에 include(ground)이라는 아이디어를 빌려줍니다.