-
@christapeterso I am not enough of a computer person to answer your question properly... but I did do some Prolog at university, which attempts to do logical inference automatically. this looks like a good introduction tomblackson.com/PHI_319_420/lecture3.html