나는 잠시 동안 DLV에서 작업 해 왔으며 프로그램이 컸을 때 규칙을 활성화하는 것이 어렵다는 것을 알았습니다. 그래서 나는 manual에 가서 내가 이것을 할 수있는 것이 있는지 확인했습니다. 내가 찾은 유일한 사실은 프론트 엔드 옵션 인 -FP이지만 설명서가이 점에서 충분한 정보를 제공하지 않기 때문에 이것이 내가 원하는 것인지 확실하지 않습니다. 그래
DLV에서 규칙에있는 모든 조건 자의 요소가있는 목록을 만드는 방법이 있는지 궁금합니다. 예를 들어, 내가 가지고있는 경우 다음과 같은 조건 foo(a, b).
foo(a, c).
foo(a, e).
foo(b, c).
첫 번째 요소는 foo의 첫 번째 매개 변수와 관련된 모든 요소 목록을 포함해야 두 번째 매개 변수는 내가해야 새로운 조건을 찾고
엔터티 ID로 pull 메서드를 사용하여 엔터티를 검색하려면 어떻게해야합니까? 나는 약간의 datoms/facts (right phraseing?)를 db에 추가하기 위해 transact를 사용했다. 내가 같은 간단한 쿼리를 할 경우 나는 엔티티 ID가의를 볼 수 있습니다 [:find ?e
:where
[?e :arb/value]
]
결과의 존재
edge (X, Y), 빨간색 (X, Y), 파란색 (X, Y)의 관계를 고려하십시오. 이러한 관계는 가장자리가 빨간색 또는 파란색 (또는 색상 없음)으로 표시 될 수있는 그래프를 나타냅니다. 은 다음 쿼리에 대해 안전한 데이터 로그 규칙을 제공합니다 (필요한 경우 부정으로). Q1. 노드 X와 Y의 쌍을 찾으십시오. 여기에서 X에서 Y까지 경로 (연결된
Datalog은 관계형 데이터를 쿼리하기에 좋은 언어입니다. 간단하고 명료하며 잘 구성되며 추가 구문없이 재귀 쿼리를 지원합니다. SQLite는 것으로 보이는 환상적인 포함 된 데이터베이스입니다 powerful query engine 재귀 쿼리를 처리 할 수 - 만델 브로트 집합을 생성하고 Sudoko 퍼즐에 대한 모든 가능한 솔루션을 찾기 위해 해당