형식상의 프롤로그 구문 오류

Question

형식 표시 줄에 구문 오류가 발생하고 이유가 없습니다.

magic3(Variables):- 
    Variables[A,B,C,D,E,F,G,H,I], 
    fd_domain(Variables,1,9), 
    fd_all_different(Variables), 
    A+B+C#= A+D+G, 
    A+B+C#= A+E+I, 
    A+B+C#= C+F+I, 
    A+B+C#= B+E+H, 
    fd_labeling(Variables), 
    format("A=~w, B=~w, C=~w~n, D=~w, E=~w, F=~d~w, G=~w, H=~w, I= ~w", Variables). 

코드 인쇄 나 구문 오류가있는 이유를 함께 내가 알아낼 수 없습니다 추가 할 때 모든 행과 열이 동일

A B C 
D E F 
G H I 

. 당신이 당신의 파일/모듈의 시작 부분에 입력 할 필요가 여러 시스템에서

Answer 1

:

:- use_module(library(clpfd)). 

그리고 작은 개선 당신이 합 S 소개 할 수 있습니다 더 나은

S #= A+B+C, 
S #= D+E+F, % this too! 
S #= G+H+I, 
.... 

과, 이제 합계를 (1 + 2 + ... + 9)/3 = 15로 계산할 수 있습니다. 따라서 S #= 15을 추가하십시오. 실제 라벨링 과정에는 nice animation on the Internet이 있습니다. 또한

---

:

Variables[A,B,...] 

내 문제가 해결되지 않은

Variables = [A,B,...]