X-Prolog

Кс-Пролог је лагани Пролог систем намењен да олакша програмирање у Прологу на Андроиду. Апликација покреће Пролог програме у текстуалном приказу, веб приказу или као повезану услугу са клијентском апликацијом. Пример клијента је доступан на хттпс://гитхуб.цом/кпролог/сампле-цлиент.

Имајте на уму да Гоогле Плаи ограничава коришћење дозволе за приступ свим датотекама у апликацијама које циљају Андроид 11 или новији. Да бисте инсталирали Кс-Пролог са дозволом за приступ свим датотекама, погледајте хттпс://гитхуб.цом/кпролог/кп/релеасес.

имате алат? Апликација зависи од кориснички дефинисаних алата за уређивање и изградњу пројеката. Алати су написани у Прологу и видљиви су на уређајима са опцијама за програмере. Апликација и алати размењују податке путем променљивих преноса и форматираног излаза. Ово издање укључује тривијалне алате намењене демонстрирању функције алата апликације.

Апликација дефинише тачке проширења на којима су варијабле преноса доступне (у алате) и форматирани излаз (из алата) се препознаје. Алат се може конфигурисати да допринесе једној или више тачака проширења специфицирањем појма контекста.

Термин контекста је термин за читање у облику контекст(име, типови датотека, приоритет) , где је име име тачке проширења, Типови датотеке > је листа прихватљивих типова датотека и Приоритет је цео број који није мањи од нуле, чије значење варира у зависности од тачке проширења.

Ово издање дефинише три тачке проширења: буилд, едит и рецонциле, које омогућавају алатима да допринесу изградњи пројеката, уређивању изворних датотека и усклађивању изворних модела.

Да бисте направили пројекат, отворите датотеку у горњем директоријуму пројекта и кликните на Изгради. Да бисте извезли пројекат у изводљиву објектну датотеку на локалном систему датотека, кликните на Извези. Да бисте покренули објектну датотеку, кликните на Покрени.

Датотека се сматра изворном датотеком ако постоји један или више алата који праве датотеку, евентуално је претварајући у другу изворну датотеку. Ово издање укључује један алат за прављење, Компилирај, који преводи изворну датотеку Пролога (.пл) у датотеку за брзо учитавање (.кл).

Познати проблеми укључују проверу дешавања, приказ логичког ажурирања, приписане варијабле између осталог.