Talk:Symbolic Logic:Programming:Change In Time

From Knowino
Revision as of 04:56, 10 September 2011 by Thepigdog (talk | contributions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)

Retrieved from "http://knowino.org/wiki/Talk:Symbolic_Logic:Programming:Change_In_Time"
Personal tools
Variants
Actions
Navigation
Community
Toolbox