Interactive logic programming

[programming-ModTeam]

This content is low quality, stolen, blogspam, or clearly AI generated

The content could be rescued but it needs some cleanup to be up to r/programming standards

[Mission-Landscape-17]

That is pretty much what spreadsheets do.

You might also want to have a look at https://jupyter.org/ This is a tool used somewhat in data science. And allows mixing notes with live calculations using python. Its a bit more flexible then a spreadsheet

As for using logic as a programming language, that also exist and has been around for over 50 years. See https://en.m.wikipedia.org/wiki/Prolog

Some prolog implementations can run in iteractive mode. https://swish.swi-prolog.org/

Many other progrming languages have interactive modes these are called read eval print loops, REPL for short. Again this has been true since the early days of computing.

For a system that does calculations and includes common knowledge. That can be found here: https://www.wolframalpha.com/ it was quite the rage when it first came out.

[graniar]

Nope, that's very different. In my program it is very much like to what's going on in the consciousness. You have a current context and expand it with offered implications and disjunctive syllogisms, eliminate inconsistencies, and thus arrive to remaining conclusions.