简介:ChinaJournalofOralandMaxillofacialSurgery(CJOMS)(ISSN1672-3244),foundedinNovember82002,isanofficialjournalofChineseSocietyofOralandMaxillofacialSurgery,beingdesignedtopresentthelatestbasicscientificandclinicalfindingsofOralandMaxillofacialSurgeryinChina.ItispublishedquarterlycurrentlybyEditorialBoardofChinaJournalofOralandMaxillofacialSurgery.
简介:ChinaJournalofOralandMaxillofacialSurgery(CJOMS)(ISSN1672-3244),foundedinNovember82002,isanofficialjournalofChineseSocietyofOralandMaxillofacialSurgery,beingdesignedtopresentthelatestbasicscientificandclinicalfindingsofOralandMaxillofacialSurgeryinChina.ItispublishedquarterlycurrentlybyEditorialBoardofChinaJournalofOralandMaxillofacialSurgery.
简介:NondeterminismofPROLOGexecutionrequiresthatablockofcontrolinformationorachoicepointforeachprocedurecallbestoredwhenthereareothercandidateclausestobeused.Whenthecurrentlyselectedclausefails,thebindingsmadebytheclausemustbeundoneandthestoredchoicepointisreactivated,andthenanotherclauseofthecandidateonesischosentorunonit.StoringandreactivatingchoicepointsandundoingaccountforthegreatoverheadarerequiredtocontrolPROLOGexecution,whichisquitedifferentfromconventionalprograms.ThispaperfocusesonthetechniquesusedinSequentialPROLOGEngine(SPE)toreducetheoverheadofcontroloperations.ThecontrolinstructionsofSPEstorenomorechoicepointsthanthenecessary.Itsarchitecturetakestheapproachesofanalysingthepotentialparallelisminthecontroloperationsanddevelopingafractionofitduetothecost-effectconsideration.TheresultsofexecutingtwosampleprogramsonSPEintheformofhandtimingsarepresented,whichfavortheapproach.