Will be compiled or interpreted in Prolog

Prologue: a compiled or interpreted language, or both?

To answer that, let's put down some definitions.

A compiled language converts source code files into a form (binary code, bytecode, etc.) for stand-alone execution or into a library for linking with other programs. The constructs are fixed and cannot be changed.

An interpreted language converts a construct into a form that can be executed after the conversion. Each converted construct is typically stored in a memory that later constructs can reference.

Now many programming languages ​​can be both compiled and interpreted, there is no rule that says that a programming language can only be one or the other.

In the early days, most programming languages ​​were interpreted one way or the other, e.g. C ++ - compiled, BASIC -.

now to answer your question:

Prologue: a compiled or interpreted language, or both?

The Prolog language can be compiled and interpreted so that the answer is both.

The reason you see different answers for different websites is that when you ask about the language you think of the Prolog language as, but when looking for certain implementations, you think of the pages as referring to one. Some do one or the other and some do both. In the past couple of years, in my opinion, there has been a consensus that if you have a programming language you need to have a compiler to generate efficient code and a REPL that uses an interpreter to develop constructs quickly.

Typically, the trend is to develop and test basic programming constructs using the REPL and then move them into source code files that are compiled to build libraries. The libraries are then referenced by the REPL; rinse and repeat.

Interestingly, Prolog was the first language I had that both, and that was in the 1980s.

If you read it says:

The language of the work of Robert A. in the early 1970s comes from Kowalski while at the University of Edinburgh (and since then at Imperial College, London) and Alain Colmerauer at the University of Aix-Marseille in France. Their efforts led to the use of formal logic as the basis for a programming language in 1972. Kowalski's research provided the theoretical framework, while Colmerauer's rise to the programming language Prolog. Colmerauer and his team then built the first interpreter, and David Warren at the AI ​​Department, University of Edinburgh, produced the first compiler.