Thanks for the critic.

On Wed, Aug 22, 2012 at 8:56 PM, meekerdb <meeke...@verizon.net> 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 everything-list@googlegroups.com.
> To unsubscribe from this group, send email to
> everything-list+unsubscr...@googlegroups.com.
> 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 everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.

Reply via email to