Thanks for the critic. On Wed, Aug 22, 2012 at 8:56 PM, meekerdb <[email protected]> wrote:
> On 8/22/2012 1:04 PM, Richard Ruquist wrote: > > 5.Inference is logical, and logic swims upstream against time. > * "Prolog’s backward-chaining strategy dualizes this by viewing logic as > primary and time as swimming upstream against logic, * > * but this amounts to the same thing. The basic idea is that time and > logic flow in opposite directions."* > > > Logic, including Prolog, has no concept of time. Creating temporal logics > is a subject of research. > > Brent > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/everything-list?hl=en. > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
