minikanren

    16

    2답변

    저는 core.logic을 가지고 놀기 시작했습니다. 그리고 그것에 관해서는 현재 제가 전문적으로 연구하고있는 문제와 비슷한 간단한 것을 구현하려고합니다. 그러나 문제의 한 부분이 나를 곤혹스럽게 만들었습니다 ... 예를 들어, 카탈로그 항목이 있고 그 중 일부는 특정 국가에서만 사용할 수 있으며 일부는 특정 국가에서만 사용할 수 있습니다. 국가. 나는 항

    6

    1답변

    잠시 동안 붙어있는 (희망 사항) 간단한 논리 프로그램이 있습니다. DAG는 core.logic의 가장자리 관계로 표시됩니다. 부모 노드 목록을 생성 할 때 그래프에 "다이아몬드 모양"이있을 때 중복됩니다. 여기서는 사이클에 대해 언급하지 않습니다. 이 경우 상위 (parento 또는 유사 콘텐츠를 다시 작성하여)의 고유 목록을 생성 할 수있는 방법이 있습