1. 11
    A new Common Lisp compiler/interpreter in Prolog lisp groups.google.com
    rogersm avatar via rogersm 9 months ago | cached | 2 comments

  1.  

  2. 3
    PuercoPop avatar PuercoPop 9 months ago | link

    Steve Losh is also working on a Warren abstract machine: https://github.com/sjl/temperance/blob/master/README.markdown

    1. 2
      clacke avatar clacke 9 months ago | link

      The main purpose is this impl is it to run prolog-in-lisp 1000x faster than the fastest lisp

      Interesting motivation! And makes sense. Especially given:

      the type of lisp programs I like to run (SWALE, DAYDREAMER) are [ . . . ] Greenspun’s rule as applied to Prolog (Instead of Lisp)

      Now I’m curious if the author heard of PicoLisp and its “pilog” datalog-like.