Show HN: Prolog compiler and interpreter in pure JavaScript (opens in new tab)

(prolog.jldupont.com)

15 pointsjldupont10y ago4 comments

4 comments

    ?- X = 10.
    X = _
    no.

...this doesn't work like any Prolog I know. (Even defining equality manually as "eq(X, X)." doesn't work...)

dmytrish10y ago

Why? `?-` indicates that it's a query, it should not define anything.

colanderman10y ago

    $ swipl
    ?- X = 10.
    X = 10.

    $ gprolog
    | ?- X = 10.
    X = 10
    yes

(a) The REPL should print the variable bindings which caused the query to succeed. (b) The query `X = 10.` should succeed trivially.

I've been using Prolog on-and-off for close to a decade now and have implemented my own pseudo-Prolog (also in Javascript; was missing logic variables and extra-logical builtins). I tried to get pretty much any query to succeed in this interpreter and couldn't. This is not any kind of Prolog that I'm familiar with.

1 more reply

j / k navigate · click thread line to collapse

4 comments

colanderman10y ago

    ?- X = 10.
    X = _
    no.

...this doesn't work like any Prolog I know. (Even defining equality manually as "eq(X, X)." doesn't work...)

dmytrish10y ago

Why? `?-` indicates that it's a query, it should not define anything.

colanderman10y ago

    $ swipl
    ?- X = 10.
    X = 10.

    $ gprolog
    | ?- X = 10.
    X = 10
    yes

(a) The REPL should print the variable bindings which caused the query to succeed. (b) The query `X = 10.` should succeed trivially.

1 more reply

j / k navigate · click thread line to collapse