• 1. Introduction
• 2. Hands on the keyboard
• 3. Example
• 4. The appeal of Prolog
• 5. Let’s play with logic
  • 5.1. Prolog version
  • 5.2. Python version
• 6. Observations on the two languages

1. Introduction

Created in the 1970s for natural language processing and artificial intelligence, Prolog (short for “Programmation en Logique”) is a somewhat unusual programming language.

Prolog’s “logic” focuses on defining relationships and facts rather than sequential instructions.

The language is based on three fundamental pillars:

• Subject of this article.
• Description of the steps without using Python.
• Python file content.
• Program analysis.
• Source in LaTeX generated by Python.
• To try the program.

Subject of this article.

I am not a computer scientist but I have been using LaTeX for over ten years to write court documents. Only a few months ago I started to follow some tutorials on programming with Python.

• 1. Subject of this article.
• 2. Python source analysis.
• 3. The full source code in Python.

1. Subject of this article.

The goal is to generate a simple program to collect the text contained in various PDFs generated directly from word processing programs and insert the various fragments into a single document in Markdown language by separating the fragments with second-level headings corresponding to the name of the source documents.

Abstract: Compression of PDF documents is a useful technique to reduce the space occupied by these files and facilitate their transmission and storage. In this article, starting from a page devoted to compressing single PDFs, I present two methods for compressing multiple PDF documents. The reference page is as follows: “Linux shell script to reduce PDF file size (simple verification required to enter) and allows you to operate on single PDFs in command-line bash code in the GNU/Linux terminal. Based on the previous one, I tried to extend the procedure to operate on multiple PDFs. In the end I present a simple application in Python with graphical interface. I admit that I asked for some help from ChatGPT and Copilot.