[HN Gopher] Definite clause grammars and symbolic differentiation
       ___________________________________________________________________
        
       Definite clause grammars and symbolic differentiation
        
       Author : gsky
       Score  : 12 points
       Date   : 2025-03-10 05:16 UTC (3 days ago)
        
 (HTM) web link (bitsandtheorems.com)
 (TXT) w3m dump (bitsandtheorems.com)
        
       | svilen_dobrev wrote:
       | > 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.
        
       | tmaly wrote:
       | 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.
        
       ___________________________________________________________________
       (page generated 2025-03-13 23:02 UTC)