prolog 지능정보 predicate calculus 정리 소소한 프로그래머 2021. 4. 19. 00:56 princeton 자료를 가져온 것으로 혼자 공부하기 위한 용도입니다. scholar.princeton.edu/ansandoval/classes
