FuXi: Becoming a Full-fledged Logical Reasoning System(copia.ogbuji.net)
copia.ogbuji.net
FuXi: Becoming a Full-fledged Logical Reasoning System
http://copia.ogbuji.net/blog/2007-09-09/fuxi-becoming-full-logical-reasoning-system
1 comments
I'd rather use prolog.