23:21:01White_Flameprokhor__: from what I'm getting into, I believe the "Building Large Knowledge-Based Systems" book linked is old enough to not represent how cyc works anymore. they specifically got rid of frame representation and went with 100% logic statements
7:30:41rendardoes exist a VM for a lisp dialect? I guess that VM, if any, will contain just a very few instructions, or.. basically just 1: execute s-expr.. because all lisp is based on that, right?