Haku
Viitteet 1-1 / 1
Relational conditionals with pseudo-functions
(2019)
Relational programming promises the ability to run programs backwards. Using miniKanren, it is easy to convert pure functions into relations. And because of its embedded nature, programmers can enjoy the declarative power ...