search

ciao-lang / ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
https://ciao-lang.org
GNU Lesser General Public License v3.0
268 stars 20 forks source link

(playground) Can I run Logtalk from within the new Ciao Prolog Playground? #64

Open Jean-Luc-Picard-2021 opened 2 years ago

Jean-Luc-Picard-2021 commented 2 years ago

Can I place a Logtalk Prolog text here, and run it?

logtalk_anybody

For example this Logtalk example:

:- object(list).

    :- public(member/2).
    member(Head, [Head| _]).
    member(Head, [_| Tail]) :-
        member(Head, Tail).

:- end_object.

https://learnxinyminutes.com/docs/logtalk/

jfmc commented 2 years ago

Not yet, but it will definitely be very nice.

Jean-Luc-Picard-2021 commented 2 years ago

You could ultimately run fCube in Ciao Prolog Playground. Why is there no Logtalk in SWISH, SWIPL WASM, etc.. etc..?

https://github.com/LogtalkDotOrg/logtalk3/tree/master/ports/fcube

Jean-Luc-Picard-2021 commented 2 years ago

Would Logtalk be, could Logtalk be a bundle? Maybe I should read the paper more closely, and not only look at the figure:

https://cliplab.org/papers/scasp-web-gde.pdf

Ok the paper says, and Ciao WASM itself is a bundle:

image

Whats the SWIPL equivalent, a pack?

jfmc commented 2 years ago

Exactly. "Software packages" in Ciao are called "bundles" ("package" was taken for a different purpose in Ciao). SWIPL call it "packs". I'm not sure which system released and documented them before (but it does not really matter, none of us invented the concept). Our goals and needs were a bit different anyway.

Jean-Luc-Picard-2021 commented 4 months ago

Why keep open, the question was anwered:

Our goals and needs were a bit different anyway.

Whats wrong with you Ciao people?