Talk:Symbolic Logic:Programming:Change In Time

This page covers the stuff needed to make Logic Programming applicable to conventional programming applications (changing data in databases etcetera).

I am not convinced about the title. Connstraint Logic Programming isn't actually what I have described in Foundations.

Thepigdog 09:06, 6 September 2011 (EDT)