I recently resumed my quest to get literate programming going in Prolog. I’m on latest Debian/Emacs/org-mode/SWI. I do have jupyter notebook going, but Emacs org-mode is simply a better, more capable, flexible way. So I finally got Prolog code blocks to sort of work. I had to ditch the 1.29 ancient …

I definitely like using Emacs org for literate programming! I’ve done it with Prolog before too; I think the key thing is when you want to do a query instead of define things, you’d write it with ?- query.; e.g. ?- likes(mary, X), ?- =(mia, mia). etc. I also find using :noweb is helpful for piecing…

Hmm. Still having trouble #+name: 21903f70-70e6-4274-b379-362f505a990d #+HEADER: :session *prolog-1* #+begin_src prolog :exports both :results output likes(george, swimming). likes(susie, tennis). likes(susie, swimming). likes(mary, X) :- likes(susie, X), likes(george, X). #+end_src #+RESULTS: 219…

This was also posted at Reddit I would like to see an explanation as to why GitHub - ljos/ob-prolog: Org babel functions for prolog evaluation. is involved - just seems to be causing confusion, what’s the benefit? Start with normal Prolog, and learn the basics of Prolog.

jamesnvc above actually reminded me of an alternative way to use org-mode Babel, and that is to not evaluate the code blocks in situ/directly, rather, have them tangle out into a regular .pl file, then consult the .pl file at your leisure. Keep the literate philosophy, forget the Babel code block ev…

I believe it’s because the queries in babel aren’t treated like a top-level; since the X isn’t being used, it isn’t displayed by default. I generally work around this by explicitly doing something like ?- likes(mary, X), format("Mary likes ~q~n", [X]).. I’m not sure if there’s some easier way to mak…

“Literate programming” as practiced by its inventor can be seen for example in the metafont implementation (link to a PDF). You can find for example a solver for linear and non-linear equations somewhere in parts 28 and 29, or a bunch of numerical routines for calculating coordinates on a plane usin…

As I mentioned above, Emacs is plagued by abandonware, and I fear this is the case here. How can we get a basically working strategy together with as-is Prolog Babel? Even if it’s kludgy, that’s better than nothing. If you look at the ob-prolog github site there’s zero docs, just a blurb or two insi…

See my post above for a bit of context. I first wrote it then thought it’s irrelevant but now its back… The main message is: If you need to run a data analysis and you want to make it reproducible: then sure, use this specific instance of “literate programming”, ie Sweave, knitr, Jupyter etc. For …

I think the first problem of literate programming is it adds complexity to the program development process. Instead of write in any text editor following the language syntax, save compile run, you now have to learn a new syntax, and have extra tools to do weave and tangle (I’m not exactly clear wha…

[image] abaljeu: I think there is a future for literate programming but it needs to be reinvented to smooth the consumption process by everyone who is not into literate style. I consider the use of structured comments (e.g., /** ... */ or %! ....) as used by many documentation systems a good …

Emacs Babel for Prolog is "goal-oriented"

General

Topic		Replies	Views
Learn Prolog Now: Request for contribution Looking for Group	27	2727	October 21, 2019
Converting a term into executable emacs-lisp expression General emacs-lisp	13	290	May 31, 2023
Looking for a study partner for intermediate/advanced prolog (no school level) Looking for Group	14	826	July 30, 2024
Sweep: SWI-Prolog Embedded in Emacs Request For Comments emacs	52	2003	October 3, 2022
IDE/Editor for SWI-Prolog? Tools	38	21494	August 23, 2019

Emacs Babel for Prolog is "goal-oriented"

Related topics