name(namerica, 'North America').
type(namerica, continent).
name(usa, 'United States').
type(usa, country).
within(usa, namerica).
name(idaho, 'Idaho').
type(idaho, state).
within(idaho, usa).
name(lucy, 'Lucy').
born_in(lucy, idaho).
[[데이토믹]]과 [[캐스캘로그]]는 [[데이터로그]]용 [[클로저]] (Clojure) [[S 표현식]] (S-Expression) 문범을 사용한다.
[[데이터로그]]는 [[프롤로그]]의 부분 집합니다.
within_recursive(Location, name) :- name(Locatin, Name). /* 규칙 1 */
within_recursive(Location, Name) :- within(Location, Via), /* 규칙 2 */
within_recursive(Via, Name).
migrated(Name, BornIn, LivingIn) :- name(Person, Name), /*. 규칙 3 */
born_in(Person, BornLoc),
within_recursive(BornLoc, BornIn),
lives_in(Person, LivingLoc),
within_recursive(LivingLoc, LivingIn).
?- migrated(Who, 'United States', 'Europe').
/* Who = '루시'. */
## Docs
[[NoSQL]]