1. 17
  1. 2

    I’ve read through this previously, and I’m intrigued but I apparently haven’t spent enough time to fully grok the why, how, and all that jazz. I’m not coming from a strong logic programming background, though. Have you given talks, or written anything that provides an introduction that might create better intuition on rationale, target use cases, etc?

    1. 2

      Actually, this type of languages has a much different (and simpler) semantics than Prolog, which means that one doesn’t require to be a Prolog afficionado. The main similarities are the syntax, logic variables and the concept of (output) unification. As doublec has pointed out, there is an article by me that tries to give an introduction into the topic. The Strand book is highly recommended, very accessible and explains the basic concepts in a step-by-step manner.

      FLENG/FGHC/Strand (and other languages of this family) are highly parallel, which has interesting implications: concurrency is always there and you concentrate on what to make sequential (there are several strategies and tools for this). Stream processing is a very powerful abstraction mechanism, and logic variables with the possibility of data structures having “holes” allows straightforward parallelisation of tasks. I would think this is very handy for GUIs, games and all sorts of simulations.

      It’s a different way of programming, but it really opened my mind to dive deeper into these concepts. This implementation is an attempt to be simple, yet practical. The language makes multi-threaded programming much easier, compared to traditional techniques, which are, IMHO, lacking in elegance and convenience.

      1. 2

        Have you seen their The Joy of Concurrent Logic Programming article? The Strand book is also a great read.

        1. 1

          Hmm. I’ve not seen “The Joy” article! I’ll take a look. Thanks!

      Stories with similar links:

      1. FLENG Version 9 now available authored by Bunny351 1 year ago | 18 points | 11 comments
      2. Version 7 of FLENG, a concurrent logic programming language, has been released authored by Bunny351 1 year ago | 11 points | 8 comments
      3. Concurrent logic programming in FLENG/FGHC for Linux and *BSD authored by Bunny351 2 years ago | 5 points | 2 comments