I dont know if this is the right place to post this but is there an
algorithm for finding the most general unifier for given expressions?
27
Feb
Logic programming
Place your comment
You must be logged in to post a comment.