Coffeescript는 실존 적 연산자를 사용하여 변수가 존재할 때를 확인하고 coffeescript documentation에 으로 컴파일 하겠지만 coffeescript의 내 버전은 something !== null으로 컴파일하는 것으로 나타났습니다. 이렇게 테스트하는 방법을 보았습니다. // Generated by CoffeeScript 1.4.0
은 가정하자 나는 지식 기반을 likes(john,mary).
person(mary).
person(john).
있습니다. 프롤로그 답변을 알 수 없도록 할 수있는 방법이 없습니까? 즉 \+ likes(mary,john)
우리는 가능한보다는 거짓으로 결합되지 않은 표현을 치료 프롤로그 요청할 수 있습니다. 나는 실존 적 양화를 허용하고 거짓이 아
프롤로그 (swi-prolog)에서 첫 단계를 수행하고 있으며 다음과 같은 문제를 해결할 수 없습니다. 어떻게 사실로 계량화 된 규칙을 포함시킬 수 있습니까? 구체적으로, "모든 사람이 누군가의 친구입니까?"라는 문구를 어떻게 포함 할 수 있습니까? \forall x \exists y friend(x,y) 사실로? 지금까지 발견 한 모든 질문은 사실이 아닌