소스 검색

Derive prime property from compose

DricomDragon 5 년 전
부모
커밋
50d79371b8
1개의 변경된 파일1개의 추가작업 그리고 0개의 파일을 삭제
  1. 1 0
      tp/1/prime.lp

+ 1 - 0
tp/1/prime.lp

@@ -1,3 +1,4 @@
 % Define
 #const n = 10.
 compose(N) :- N=1..n, I=2..N-1, N\I = 0.
+prime(N) :- N=2..n, not compose(N).