묻고답하기
이게 도대체 무슨 언어입니까?
2003.08.02 15:10
is_prime(x) if
x > 1 and
forall j such that 1 < j < x, x mod j <> 0
논리형 프로그래밍에 나오는건데.. 도대체 무슨 언어인지 알수가 없군요.. -_-;
아시는분 계시나요?
sort(x,y) if
is_permutation(x,y) and
is_sorted(y)
x > 1 and
forall j such that 1 < j < x, x mod j <> 0
논리형 프로그래밍에 나오는건데.. 도대체 무슨 언어인지 알수가 없군요.. -_-;
아시는분 계시나요?
sort(x,y) if
is_permutation(x,y) and
is_sorted(y)