Talk:Symbolic Logic:Programming:Change In Time
From Knowino
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)