benja_: The screenshots karlcow linked to are from a private version we cannot yet publish because of legal issues :-(
DanC: G J Chaitin, IBM Research
DanC: from which DanC learned about fixedpoints, among other things
DanC: see notes from Apr 2001
DanC: from which DanC learned about fixedpoints, among other things
DanC: see notes from Apr 2001
ericP: google-supplied F-Logic lecture
DanC: pg 7 seems to discuss negation as failure
DanC: pg 7 seems to discuss negation as failure
crschmidt: Data Source
crschmidt: 3.5 million statements, which took a heck of a long time to load
crschmidt: Politicians, Religions, and their Homepages
crschmidt: Listing of tools, as I make them.
crschmidt: 3.5 million statements, which took a heck of a long time to load
crschmidt: Politicians, Religions, and their Homepages
crschmidt: Listing of tools, as I make them.