관계형 clausal 논리를 이해하는 데 어려움을 겪고 있습니다.이 질문이있는 곳이 아닌지 잘 모르겠지만 너무 많이 도움이됩니다. 누구나 다음 질문에 대한 지침을 제공 할 수 있다면 개정. academic(X); student(X); other_staff(X):-
works_in(X, university).
:-student(john).
:-
는 다음과 같은 사실이 이미 프롤로그 데이터베이스에 입력되어 있다고 가정 Y의 할아버지 : "X는 father(X, Y) // X is the father of Y
mother(X, Y) // X is the mother of Y
male(X) // X is a male
female(X) // X is a female
parent(X, Y)
F #에서 논리 변수로 작업 할 수있는 라이브러리/어셈블리를 찾고 있습니다. 필요한 유니온 찾기 데이터 구조, 통합 코드 등을 구현할 때 바퀴를 재발 명하는 것을 피하고 싶습니다. 나는 Prolog.NET을 찾았지만 설명서는 약간 희박합니다. 필자는 본격적인 Prolog 구현을 원하지 않지만, 논리적 변수와 매뉴얼의 취급 만이 그런면에서 부족합니다. 여기에
처음부터 다시 구현하는 것이 공식 시스템이 더 흥미로울 수 있는지 묻고 싶습니다. 필자는 논리적/선언적 프로그래밍 시스템의 기존 및 오픈 소스 프로젝트를 살펴 보았습니다. 나는 여유 시간에 비슷한 것을 만들거나 적어도 구현의 일반적인 생각을 잡기로 결정했다. 이러한 시스템 중 일부가 논리에서 현대 학술 조사의 표현력과 간결함 및 계산 모델과의 관련성을 대부