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.


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 
For more options, visit this group at 

Reply via email to