there was such project in my university 3rd year, in 1988. Worked well. There was also an attempt at symbolic integration but that wasn't that easy, as i remember worked for some classes of things.
I still find DCGs very useful. I have a small side project that uses DCGs to let me document data sources a system uses in plain English. Useful for doing impact analysis and data lineage.
> symbolic differentiation in Prolog
there was such project in my university 3rd year, in 1988. Worked well. There was also an attempt at symbolic integration but that wasn't that easy, as i remember worked for some classes of things.
I still find DCGs very useful. I have a small side project that uses DCGs to let me document data sources a system uses in plain English. Useful for doing impact analysis and data lineage.