/documentation/bookmark/paradigm/logic_programming/