metdinov ex_logic issues - Githubissues

metdinov / ex_logic

Logic programming based on miniKanren.

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Swap refs for UUIDs

#11 metdinov closed 3 years ago
0
Improve Readme

#10 juanbono opened 3 years ago
0
Add walk protocol

#9 juanbono opened 3 years ago
0
Fix run/1 macro refactor tests

#8 juanbono closed 3 years ago
0
Make `Substitution.walk_all/2` tail recursive

#7 metdinov opened 3 years ago
1
run/run_all implementations

#6 metdinov closed 3 years ago
0
Fix run and run_all sometimes returning values in an incorrect order

#5 jrchatruc closed 3 years ago
0
Unification for other types

#4 jrchatruc closed 3 years ago
0
Add api macros

#3 metdinov closed 3 years ago
0
Fix tests

#2 juanbono closed 3 years ago
0
Add unification of other types (map, tuples, etc)

#1 metdinov closed 3 years ago
0