yap - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

yap - prolog interpreter and compiler

ສະຫຼຸບສັງລວມ

ເຂົ້າສູ່ລະບົບ [ທາງເລືອກໃນການ] ຊື່​ເອ​ກະ​ສານ

ລາຍລະອຽດ

ເຂົ້າສູ່ລະບົບ ເປັນນາຍພາສາ prolog ແລະ compiler.

ໃນຮູບແບບພື້ນຖານຂອງມັນ, ເຂົ້າສູ່ລະບົບ ເລີ່ມຕົ້ນຕົວແປພາສາ Prolog ແບບໂຕ້ຕອບ. ໃນ​ເວ​ລາ​ທີ່​ການ​ຟື້ນ​ຟູ​ທີ່​ບັນ​ທຶກ​ໄວ້​
ລັດ, yap ຈະຈັດສັນຈໍານວນດຽວກັນຂອງຫນ່ວຍຄວາມຈໍາທີ່ຖືກນໍາໃຊ້ໃນເວລາທີ່ລັດແມ່ນ
ບັນທຶກໄວ້, ເວັ້ນເສຍແຕ່ວ່າຈໍານວນທີ່ແຕກຕ່າງກັນແມ່ນຖືກກໍານົດໂດຍທຸງໃນແຖວຄໍາສັ່ງ. ໂດຍຄ່າເລີ່ມຕົ້ນ,
yap ຟື້ນຟູໄຟລ໌ ເລີ່ມຕົ້ນລະບົບ ຈາກໄດເລກະທໍລີປະຈຸບັນຫຼືຈາກຫໍສະຫມຸດ yap.

ເບິ່ງຄູ່ມື yap ສໍາລັບວິທີການໃຊ້ yap ສໍາລັບການຂຽນ Prolog scripts.

OPTIONS

-? ພິມ​ຂໍ້​ຄວາມ​ຜິດ​ພາດ​ສັ້ນ​.

-s n ຈັດສັນ n K ໄບ ສໍາລັບການ ທ້ອງຖິ່ນ ແລະ ທົ່ວໂລກ ກອງ.

-h n ຈັດສັນ n K bytes ສໍາລັບ heap ແລະ stacks auxiliary

-t n ຈັດສັນ n K bytes ສໍາລັບ stack trail

-l yap-ໄຟລ໌
ລວບລວມໄຟລ໌ Prolog yap-ໄຟລ໌ ກ່ອນທີ່ຈະເຂົ້າໄປໃນລະດັບສູງສຸດ.

-L yap-ໄຟລ໌
ລວບລວມໄຟລ໌ Prolog yap-ໄຟລ໌ ແລະຫຼັງຈາກນັ້ນຢຸດ. ທາງເລືອກນີ້ແມ່ນເປັນປະໂຫຍດສໍາລັບ
ການປະຕິບັດສະຄິບ.

-g ເປົ້າຫມາຍ
ແລ່ນເປົ້າຫມາຍ ເປົ້າຫມາຍ ກ່ອນ​ລະດັບ​ສູງ. ເປົ້າໝາຍຖືກປ່ຽນຈາກອະຕອມເປັນ Prolog
ໄລຍະ.

-z ເປົ້າຫມາຍ
ແລ່ນເປົ້າຫມາຍ ເປົ້າຫມາຍ ເປັນລະດັບສູງສຸດ. ເປົ້າໝາຍຖືກປ່ຽນຈາກອະຕອມເປັນ Prolog
ໄລຍະ.

-b boot-file
ລະຫັດ Boot ຢູ່ໃນໄຟລ໌ Prolog boot-file. ຊື່ໄຟລ໌ຕ້ອງກໍານົດ predicate
'$live'/0.

-c ip-host port
ເຊື່ອມຕໍ່ການຖ່າຍທອດມາດຕະຖານເພື່ອໂຮດ ip-host ຢູ່ທ່າເຮືອ port.

ຊື່​ເອ​ກະ​ສານ
ຟື້ນຟູສະຖານະທີ່ບັນທຶກໄວ້ໃນໄຟລ໌ທີ່ໃຫ້.

-- ຕົວແຍກສໍາລັບການໂຕ້ຖຽງກັບລະຫັດ Prolog. ການໂຕ້ຖຽງເຫຼົ່ານີ້ແມ່ນເຫັນໄດ້ໂດຍຜ່ານ
unix/1 ໃນຕົວ.

ENVIRONMENT

ຢາບບິນດີ
Yap ປົກກະຕິແລ້ວເກີບຈາກລັດທີ່ບັນທຶກໄວ້. ສະຖານະທີ່ບັນທຶກໄວ້ຈະໃຊ້ຄ່າເລີ່ມຕົ້ນ
ໄດເລກະທໍລີການຕິດຕັ້ງເພື່ອຊອກຫາ YAP binary ເວັ້ນເສຍແຕ່ວ່າທ່ານກໍານົດ
ສະພາບແວດລ້ອມຕົວແປ YAPBINDIR.

YAPLIBDIR
Yap ສະເຫມີພະຍາຍາມຊອກຫາລັດທີ່ບັນທຶກໄວ້ຈາກໄດເລກະທໍລີປະຈຸບັນກ່ອນ. ຖ້າ​ຫາກ​ວ່າ​ມັນ
ບໍ່ສາມາດທີ່ຈະໃຊ້ຕົວແປສະພາບແວດລ້ອມ YAPLIBDIR, ຖ້າກໍານົດ, ຫຼືຄົ້ນຫາ
ໄດເລກະທໍລີຫ້ອງສະຫມຸດເລີ່ມຕົ້ນ.

YAPSHAREDIR
Yap ຈະພະຍາຍາມຊອກຫາໄຟລ໌ຫ້ອງສະໝຸດຈາກ YAPSHAREDIR/library directory.

ໃຊ້ yap ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net