Well, correct me if I am wrong, but I should be looking for the simplest "logics", right? As semantics etc should be handled in other parts of the AGI softosphere, in my book at least.
I was alerted earlier this month to the fact (I haven't entirely verified it yet), that the GGP general game playing language GDL does not allow for rules that include past states, so even the chess implementations (the ones I could find at least) did not include en passant and castling (as chess players know you may be prohibited from castling in move 200 just because you moved your king in move 5). Now, I cannot afford any logic with such blatant flaws, but prop calculus is surely enough, or ...? Still, it is quite obvious that people have been building on top of and inside Prolog, and I am kinda out of touch with the reasons why (!) AT ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
