bzaar / prolog Goto Github PK

The name should be catchy and preferably should reflect the main principles that the library is built around. The library is

• Modular
• Extensible

and the Prolog flavour is

• Fully Declarative

But just catchy is good enough. :-)

Create a web page to let people write and run prolog code. Just one text area and a Run button. And another text box for lexer input to test out grammars. Include a few examples to get people started:

• The farmer problem.
• An expression evaluator.
• The Prolog grammar.

Currently one has to use unique variables if a value is to be ignored.

The benefits of having the anonymous variable include:

1. Better readability of prolog code.
2. Removal of runtime overhead: there is no need to bind the anonymous variable; it unifies with anything (including other anonymous variables) without causing any variables to become bound. Binding imposes some runtime cost and avoiding it removes this (possibly small) overhead.

What many other Prolog implementations do, they just generate unique names such is _G145 for each occurrence of the anonymous variable. This is undesirable because the code becomes less readable when viewed in the debugger and doing so does not remove the runtime overhead of binding those variables.

The AnonymousVariable will be another inheritor to IValue, alongside Variable and IConcreteValue.