K基于知识的程序

@文章{KBPs-AFP，
 author={Peter Gammie}，
 title={Knowledge based programs}，
 journal={Archive of Formal proof s}，
 month=may，
 year=2011，
 note={isa AFP.org/entries/KBPs.html}，
正式证明开发}，
 ISSN={2150-914x}，
}