Ну в теории можно как в прологе: фигачишь факты и правила, а потом по ним выводишь другие факты.
Вроде как, я пока близко не смотрел, но вроде как так.
Я предполагаю, что можно декларативно описать сложную логику и потом ее вызывать как функцию.
Могу конечно ошибаться, может так и нельзя, но надо чекать. Поэтому и спросил)
проблема с core.logic, как и с miniKanren в целом, что это довольно маргинальная дисциплина и без опыта лоджик программинг довольно сложно понять, что происходит и как этим пользоваться. а книги для простых смертных программистов хорошо разработаны только в контексте пролога. так что я бы сказал, что путь к core.logic идет через изучение пролога. могу порекоммендовать пару книжек, если интересно, это в любом случае занимательное чтиво