Page 1 of 1

Visual Prolog restrictions?

Posted: 20 Jan 2022 16:08
by Schlumpf12
Turbo Prolog 2 has the restriction, that facts can be modified during runtime but rules not.
Was this problem solved with Visual Prolog or has it the same restriction due being compiled like Turbo Prolog?

Many regards,

Re: Visual Prolog restrictions?

Posted: 21 Jan 2022 9:42
by Thomas Linder Puls
No, that is still the case in Visual Prolog now.

We do not consider it a problem: Visual Prolog is a programming language more than a logical system inference.

But you can embed PIE which gives you an "old-fashioned" Prolog Inference Engine (PIE) in any program you make. The pieDemo program in the examples illustrates how to embed and use PIE from a program.

You can also use the standalone PIE program (also in the examples), which obviously also embeds the PIE package.

Re: Visual Prolog restrictions?

Posted: 21 Jan 2022 15:55
by Schlumpf12
Thank you!
Is the PIE-part compiled or interpreted?

Re: Visual Prolog restrictions?

Posted: 24 Jan 2022 12:24
by Thomas Linder Puls
PIE rules are interpreted

But from PIE rules you can make calls into your own program, which will then execute compiled code.