DocumentCode
3178325
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
fYear
2011
fDate
8-10 Aug. 2011
Firstpage
1550
Lastpage
1552
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/AIMSEC.2011.6010823
Filename
6010823
Link To Document