It would definitely be cool to see your work, whenever you get the chance to continue.
It's nothing special. You can find plenty of documentation online about the sorts of things that I'm doing. I'm just working from established theory and building commercial quality libraries based on it. Here are some examples from my logical resolution library which takes knowledge in the form of first order logic (rules and facts) and makes inferences from it.
(not (parent ?x ?x))
(not (grandparent ?x ?x))
(<=> (parent ?x ?y) (or (father ?x ?y) (mother ?x ?y)))
(<=> (grandparent ?x ?y) (or (grandfather ?x ?y) (grandmother ?x ?y)))
(<=> (grandmother ?x ?z) (and (parent ?x ?y) (mother ?y ?z)))
(<=> (grandfather ?x ?z) (and (parent ?x ?y) (father ?y ?z)))
(father carol robert)
(mother carol alice)
(father alice bill)
(mother alice mary)
(father robert tom)
(mother robert sally)
query: (grandparent carol ?z)
result: (bill mary sally tom)
(forall ?x (=> (isa ?x bird) (haswings ?x)))
(isa seagull bird)
query: (haswings ?y)
result: (seagull)
I won't be publishing any of the work that I've done any time soon but you can easily find open source libraries that can do these things just as well if not better.