Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
gule-log
Guile Log
Repository
guile-log
logic
guile-log
guile-prolog
wind.scm
Find file
Blame
History
Permalink
unifiable/3 behaves well on guarded sets
· 4de09e96
Stefan Israelsson Tampe
authored
Oct 21, 2018
4de09e96