Search
❯
Mar 27, 20261 min read
A Inference Rule used in Logical Programming. https://www.youtube.com/watch?v=BV01fqWUS5Q