Comunidad Empresarial Dinamiza

 
 
  • No hay categorías

 
No te pierdas...
 

 
Publicado 02/08/2019 por admin en
 
 

prolog 예제

글쎄, 그건 쉬운 일이야. 두 용어는 물론 변수이며, 프롤로그 구현에 따라 서로 통일됩니다. 프롤로그가 결론을 도출하기 위해 쿼리를 해결하면 용어를 통합하려고 시도합니다. 따라서 가능한 정의가 될 수 있습니다: 이 세 줄의 코드를 신중하게 읽었다면 대/소문자를 관찰했을 수 있습니다. 프롤로그에서 대부분의 다른 언어 대문자로 대문자로 중요한 것과는 대조적입니다. 소문자문자로 시작하는 문자열은 변경할 수 없으며 원자라고 하며, 루비의 기호 유형과 비교할 수 있습니다. 대문자 또는 밑줄로 시작하는 문자열은 변수이며 값을 변경할 수 있습니다. 이 예제에서 소산염은 원자이고 대문자 X는 변수입니다. 또한 각 절 이후의 전체 중지는 필수입니다. 할당 문은 가장 중요한 프로그래밍 언어의 기본입니다.

Java 또는 Ruby에서 식 x = 10은 값 10이 변수 x에 할당된다는 것을 의미합니다. 두 언어의 변수는 변경할 수 있으며, 이는 x = 20이 변수에 값 20을 다시 할당하고 이전 값이 손실된다는 것을 의미합니다. 프롤로그 및 기타 선언적 언어에서 변수는 처음으로 바인딩되어 통합된 변수가 될 때까지 «변수»일 뿐입니다. 따라서 우리는 통일이라는 용어를 사용하고 있습니다: 통일되거나 전체적으로 만들어지는 과정입니다. 형식 추론을 활성화하는 데 일반적으로 사용되는 명령언어에서도 통일 응용 프로그램을 찾을 수 있습니다. 프롤로그는 Horn 절(1차 논리의 하위 집합)을 기반으로 하며 논리 프로그래밍 패밀리에서 가장 유명한 언어일 것입니다. 그것은 알랭 콜메라우어에 의해 공동 프로젝트였다, 필립 루셀 (엑스 – 마르세유 의 대학) 및 로버트 코왈스키 (에든버러 대학) 꽤 오랫동안 주변되었습니다. 첫 번째 버전은 1972 년에 스몰 토크와 C와 같은 등장. 이름은 «프로그래밍 en logique»(논리 프로그래밍에 대한 프랑스어)의 약어입니다. 이제 스테이지 세트가 되었으므로 프롤로그에 대해 알아보겠습니다. 그러나, 그것은 기술적 인 것을 얻는 전에 그 뒤에 동기부여? 먼저, 우리가 시작 하는 작업 프롤로그 설치를 얻을 수 있습니다.

이 블로그 게시물에 관한 한 나는 SWI-프롤로그 (버전 7.2.3)를 사용할 것입니다, 프롤로그 방언이 다를 수 있음을 유의하시기 바랍니다. MacOS 및 Windows 사용자는 여기에서 실행 소프트웨어를 다운로드할 수 있습니다. 우분투 또는 다른 데비안 기반 배포판에서 apt-get을 사용할 수 있습니다. 이 오류는 기술 자료만 쿼리할 수 있는 Prolog의 대화형 최상위 모드로 인해 발생합니다. 쉘에서 사실과 규칙을 정의하려면 스페레이트 파일에서 이를 지정하고 호출하십시오[`my_knowledge_base.pl`] ., 어설션(어설션(man(socrates)))을 사용하거나 다음 스니펫과 같이 [사용자]를 입력하여 사용자와 상의해야 합니다. 두 개의 주어진 인수가 통일되는지 여부.


admin