X-Prolog

Paglalarawan ng X-Prolog

Ang X-Prolog ay isang magaan na sistema ng Prolog na nilayon upang mapadali ang programming sa Prolog sa Android. Ang app ay nagpapatakbo ng mga programa ng Prolog sa isang console view o bilang isang nakagapos na serbisyo sa isang client app. Ang isang sample client ay magagamit sa https://github.com/xprolog/sample-client.
Got Tool?
Ang app ay depende sa mga tool na tinukoy ng gumagamit para sa pag-edit at pagtatayo ng mga proyekto. Ang mga tool ay nakasulat sa Prolog at makikita sa mga device na may mga pagpipilian sa developer. Ang data ng app at tools exchange sa pamamagitan ng mga variable ng paglipat at format na output. Kabilang sa release na ito ang mga maliit na tool na nilayon upang ipakita ang tampok na tool ng app.
Tinutukoy ng app ang mga extension point kung saan magagamit ang mga variable ng paglipat (sa mga tool) at na-format na output (mula sa mga tool) ay kinikilala. Ang isang tool ay maaaring i-configure upang mag-ambag sa isa o higit pang mga punto ng extension sa pamamagitan ng pagtukoy ng terminong konteksto.
Ang terminong konteksto ay read-term ng form
Context (Pangalan, Filetypes, Priority)
, kung saan
pangalan
ay ang pangalan ng isang extension point,
filetypes
ay isang listahan ng mga katanggap-tanggap na mga uri ng file at
priority
ay isang integer hindi mas mababa sa zero, Ang kahulugan ng kung saan ay nag-iiba depende sa extension point.
Ang paglabas na ito ay tumutukoy sa tatlong mga punto ng extension:
build, i-edit ang
at
reconcile
, na nagbibigay-daan sa mga tool upang mag-ambag sa , ayon sa pagkakabanggit, pagbuo ng mga proyekto, pag-edit ng mga file ng pinagmulan at reconciling source models.
Upang bumuo ng isang proyekto, buksan ang isang file sa tuktok na direktoryo ng proyekto at i-click ang
Bumuo
. Upang i-export ang proyekto sa isang runnable object file sa lokal na sistema ng file, i-click ang
I-export
. Upang patakbuhin ang file ng bagay, i-click ang
tumakbo
.
Ang isang file ay itinuturing na source-file kung mayroong umiiral na isa o higit pang mga tool na nagtatayo ng file, posibleng pagbabago ito sa isa pang source file. Kabilang sa release na ito ang isang solong tool sa pagtatayo,
sumulat ng libro
, na isinasalin ang isang prolog source file (.pl) sa isang Quick-Load File (.QL).
Mga Kilalang Isyu Isama nangyayari ang tseke, Lohikal na pag-update ng pagtingin, maiugnay ang mga variable sa iba.