Title :
Study on structured programming for Prolog
Author :
Qin, Qing ; Zhang, Lei ; Zhang, Xin
Author_Institution :
Network Manage. Center, Zhe Jiang PAP Corps, Hangzhou, China
Abstract :
Prolog is a declarative language that describes problems by facts and rules and solves problems by searching, matching and backtracking mechanism, which is particularly applied to symbol reasoning. This paper firstly introduces the main features and basic structure of Prolog and then presents the expression of three kind of control structure in structured programming language by interior predicate and the operational mechanism of Prolog aiming at the program problem in real application, so can make the Prolog to slove problems more efficiently.
Keywords :
PROLOG; backtracking; inference mechanisms; structured programming; symbol manipulation; Prolog; backtracking; declarative language; structured programming language; symbol reasoning; Artificial intelligence; Computer languages; Hospitals; Presses; Programming; Search problems; Visualization; Prolog; Structured programming; control structure;
Conference_Titel :
Artificial Intelligence, Management Science and Electronic Commerce (AIMSEC), 2011 2nd International Conference on
Conference_Location :
Deng Leng
Print_ISBN :
978-1-4577-0535-9
DOI :
10.1109/AIMSEC.2011.6010823
