[HN Gopher] FLENG, a concurrent logic programming language
       ___________________________________________________________________
        
       FLENG, a concurrent logic programming language
        
       Author : todsacerdoti
       Score  : 41 points
       Date   : 2021-11-06 14:33 UTC (8 hours ago)
        
 (HTM) web link (www.call-with-current-continuation.org)
 (TXT) w3m dump (www.call-with-current-continuation.org)
        
       | alfiedotwtf wrote:
       | > All goals of a clause are executed in parallel, in an arbitrary
       | order.
       | 
       | That's way cool, but how would backtracking work then, especially
       | if multiple goals in a clause end up failing?
        
         | Avshalom wrote:
         | You don't back track, you just try everything from scratch
        
       | transfire wrote:
       | I like the underlying design ideas. At first blush however the
       | language itself seems like a more limited subset of Prolog?
        
         | viewfromafar wrote:
         | Prolog was the first kind of logic programming that existed. It
         | opened the door to a world but as a language and depending on
         | the domain, it can be considered to have numerous deficiencies.
         | 
         | Constraints liberate. A datalog program for example can be
         | considered a very restricted prolog program, but it is
         | guaranteed to terminate and there are alternative evaluation
         | strategies that can be very efficient.
        
       ___________________________________________________________________
       (page generated 2021-11-06 23:01 UTC)