에서 나는 최근에 수은이 코드 예제를 건너 왔어요 : append(X,Y,Z) :-
X == [],
Z := Y.
append(X,Y,Z) :-
X => [H | T],
append(T,Y,NT),
Z <= [H | NT].
는 프롤로그 프로그래머 인, 궁금 : 정상적인 통일 = 과의 차이점은 무엇 := 또
저는 수은에서 완전히 초보자이며이 문제를 해결하기가 어렵습니다. 나는 작은 목록에서 높은 목록으로 정렬 된 목록으로 목록을 변환하고 싶다. 예 : string.to_char_list("this is a test") becomes
[{'a', 1}, {'e', 1}, {'h', 1}, {'i', 2}, {' ', 3}, {'s', 3}, {'t', 3}]
처음부터 다시 구현하는 것이 공식 시스템이 더 흥미로울 수 있는지 묻고 싶습니다. 필자는 논리적/선언적 프로그래밍 시스템의 기존 및 오픈 소스 프로젝트를 살펴 보았습니다. 나는 여유 시간에 비슷한 것을 만들거나 적어도 구현의 일반적인 생각을 잡기로 결정했다. 이러한 시스템 중 일부가 논리에서 현대 학술 조사의 표현력과 간결함 및 계산 모델과의 관련성을 대부
수와 값의 개수가 다양 할 수있는 데이터 유형을 선언하고 싶습니다. 예 : type goal ---> pick; give; come.
에는 세 가지 변수/값이 있습니다. 변수의 개수가 제한되거나 고정되지 않습니다 type myplayer ---> de value declaration here.
: 내가 좋아하는 뭔가를 원한다. 그래서 myplayer