Global Information Lookup Global Information

GOLOG information


GOLOG
Paradigmlogic programming
First appeared1994; 30 years ago (1994)
Filename extensions.pl
Major implementations
golog.lua, IndiGolog
Influenced by
Prolog

GOLOG is a high-level logic programming language for the specification and execution of complex actions in dynamical domains. It is based on the situation calculus. It is a first-order logical language for reasoning about action and change. GOLOG was developed at the University of Toronto.[1][2]

  1. ^ Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B. (1997-04-01). "GOLOG: A logic programming language for dynamic domains". The Journal of Logic Programming. Reasoning about Action and Change. 31 (1): 59–83. doi:10.1016/S0743-1066(96)00121-5. ISSN 0743-1066.
  2. ^ "GOLOG: A logic programming language for dynamic domains" (PDF). GOLOG: A Logic Programming Language for Dynamic Domains.

and 27 Related for: GOLOG information

Request time (Page generated in 0.5567 seconds.)

Golog Tibetan Autonomous Prefecture

Last Update:

Golog (Golok or Guoluo) Tibetan Autonomous Prefecture (Chinese: 果洛藏族自治州; pinyin: Guǒluò Zàngzú Zìzhìzhōu; Tibetan: མགོ་ལོག་བོད་རིགས་རང་སྐྱོང་ཁུལ་, Wylie:...

Word Count : 651

GOLOG

Last Update:

GOLOG is a high-level logic programming language for the specification and execution of complex actions in dynamical domains. It is based on the situation...

Word Count : 893

Golok people

Last Update:

Ngolok (Tibetan: མགོ་ལོག; Chinese: 果洛; pinyin: guǒluò) peoples live in Golog Tibetan Autonomous Prefecture, Qinghai, China around the upper reaches of...

Word Count : 1052

Golog Maqin Airport

Last Update:

Golog Maqin Airport (IATA: GMQ, ICAO: ZLGL) is an airport serving Golog Tibetan Autonomous Prefecture in southeastern Qinghai Province, China. It is located...

Word Count : 178

Amdo Tibetan

Last Update:

Amdo Tibetan (Tibetan script: ཨ་མདོའི་སྐད་, Wylie: A-mdo’i skad, Lhasa dialect: [ámtokɛ́ʔ]; also called Am kä) is the Tibetic language spoken in Amdo (now...

Word Count : 989

Beijing

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 20141

Macau

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 10766

Hong Kong

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 17726

Goli Otok

Last Update:

original on 25 November 2017. Retrieved 7 November 2017. "Višestruki ubojica s Golog otoka opet ubio". Jutarnji list. 31 May 2006. Retrieved 27 February 2017...

Word Count : 2228

Shanghai

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 21889

Jigme Gyatso

Last Update:

Jigme Gyatso (aka Golog Jigme) is a Tibetan filmmaker and human rights activist. After assisting with the documentary Leaving Fear Behind, he was arrested...

Word Count : 590

Amne Machin

Last Update:

runs in the general northwest-to-southeast direction in eastern Qinghai (Golog Tibetan Autonomous Prefecture and the adjacent areas of the Hainan Tibetan...

Word Count : 1124

Nanjing

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 18622

Chengdu

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 17760

Tianjin

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 11843

Wuhan

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 18688

Gande

Last Update:

to: Gande (river), a river in Lower Saxony, Germany Gande County (甘德县), Golog Prefecture, Qinghai, China Gande, Anxi County (感德镇), a town in Anxi County...

Word Count : 79

Guangzhou

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 15436

Situation calculus

Last Update:

Situation Calculus and Golog: A Tutorial" (PDF). www.hybrid-reasoning.org. Retrieved 16 July 2014. "Publications about GOLOG". Retrieved 16 July 2014...

Word Count : 3722

Dadu River

Last Update:

Hé). Traditionally, the source of the Dadu was considered to be in the Golog Mountains in Jigzhi County at the head of the Markog, but this source was...

Word Count : 1137

Qinghai

Last Update:

Lanzhou, Golmud and Delingha. Smaller regional airports, Delingha Airport, Golog Maqin Airport, Huatugou Airport, Qilian Airport and Yushu Batang Airport...

Word Count : 4770

Shanghai Pudong International Airport

Last Update:

Lanzhou Longnan Qingyang Tianshui Xiahe Zhangye Qinghai Delingha Golmud Golog Huatugou Qilian Xining Yushu Ningxia Guyuan Yinchuan Zhongwei Xinjiang Aksu...

Word Count : 4703

Shenzhen

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 19146

Shenyang

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 14902

Chongqing

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 12421

Hangzhou

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 9762

Xiamen

Last Update:

Qinghai *Xining Haidong Haibei (Tibetan) Huangnan (Tibetan) Hainan (Tibetan) Golog "Guolog" (Tibetan) Yushu (Tibetan) Haixi "Qaidam" (Mongol and Tibetan) Sichuan...

Word Count : 15399

PDF Search Engine © AllGlobal.net