Paul Houle💡Compiling Prolog to Forth
https://vfxforth.com/flag/jfar/vol4/no4/article4.pdf
#prolog #forth #programming #software #compilers #computerscience #sc #logicprogramming
German Vidal@UP8 Is Forth still used today? (or did it just for fun? :)
@the_heruman it's a paper from the golden age but there are definitely still FORTH enthusiasts around
@UP8 My bad —I hadn't clicked the link. I assumed it was some current software project to translate from Prolog to Forth 😅
@the_heruman the compiler methods used to implement Prolog are pretty fascinating, I mean the first time you look at Prolog you might not believe you could get it to run at a speed similar to other programming languages but you can... on the other hand that clever way you write imperative programs by taking advantage of backtracking, cuts and such seems more awkward than clever after you do it for a while...
@the_heruman ... circa 2009 or so I was frustrated with RDF inference methods and very interested in Datalog but found there was very little literature, 10 years later the commercial interest was almost overwhelming
@UP8 Really interesting! Indeed, I used to teach Prolog's WAM in a course some years ago. It was cool to see how those unusual features of Prolog (unification, nondeterminism) were handled at a low level...
BTW, I followed Hassan Aït-Kaci's book "Warren’s Abstract Machine: A Tutorial Reconstruction", which is an absolute gem...