시간이 지남에 따라 이진 함수가 주어지면이 함수에서 발생하는 간격에 대한 정보를 추출하려고합니다. 예. a, a, b, b, b, a, b, b, a, a
그럼 난 사실 간격이 같은 (시작, 길이, 값)를 원하는 것 : 여기 interval(0, 2, a)
interval(2, 3, b)
interval(5, 1, a)
interval(6, 2,
clingo 버전 4를 사용 중이며 파이썬 스크립트를 통해 관계를 연결할 수 있기를 바랍니다 (왜 그런지 묻지 마십시오. ary 관계). 나는 이것이 가능하기를 희망하고 도움이 필요하다. #script (python)
import gringo;
def main(prg):
prg.ground([('base', [])]);
# ... co
PCGBook의 8 장에서 연습 문제의 코드를 실행하려고합니다. 그들은 clingo를 사용하지만 그들이 사용하는 버전을 말하지 않습니다. Potassco의 sourceforge (4.5.4 버전)에서 Clingo의 최신 버전을 다운로드하면 렉서 오류가 발생합니다. 나는 Gringo 3와 Gringo 4 사이에서 문법이 바뀌었기 때문이라고 생각합니다. Pot
ASP /`clingo (Version 4+)에서 python 스크립팅을 사용하는 동안 기본적인 문제가 있습니다. 나는 포인트를 설명하기 위해 최소한의 예제로 문제를 재구성했다. 분명히이 예에서는 스크립트를 사용할 필요가 없습니다. 그러나 더 복잡한 애플리케이션에서는 문제를 인위적으로 재현하여보다 이해하기 쉬운 방식으로 재현합니다. 집계/최적화를 호출하는
나는 clingo에 대해 많이 모른다. 문제를 분명히 나눌 수 있기를 바란다. 현재 내가 각각 X, Y 값에 대한 결과를 반환 cellUseCount(X,Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY).
을했습니다. X-XX와 Y-YY 범위는 어떻게 얻을 수 있습니까? 예 : target(1,5,1,1)에 대해 c
지정된 사실을 사용하여 참 조건부의 수를 제한 할 수있는 특정 방법이 있습니까? 현재 총 (2)이 있습니다. 사실로. 나는 이것이 작동 할 것이라고 생각했다 : : 총 (N), #count {x : something_to_limit (x)} = K, K = N. 그러나 이것은 N 어떤 도움이 크게 감상 할 :)
면책 조항 : 나는 거의 완전히 clingo에 익숙하며 일반적으로 응답 집합 프로그래밍입니다. 나는 grid logic puzzle을 사용하여 해결하기 위해 노력하고 있습니다. 시작하려면 각 카테고리의 인스턴스 하나를 포함하는 모든 모델을 생성하고 싶습니다. person(a; b; c)., 세 주택 : house(w; x; z)., 및 세 가지 색상 : 세