Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a ...Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a set of clauses less 'non-Horn' using predicate renaming, the performance of these case-analysis based procedures can be improved significantly. In addition, the paper also investigated the problem of efficiently constructing a predicate renaming that reduces the degree of 'non-Hornness' of a clause set maximally. It is shown that this problem of finding a predicate renaming to achieve minimal 'non-Hornness' is NP-complete.展开更多
There have been active work to extend the Prolog style Horn Clause logic programming to non-Horn clauses.In this paper,we will analyze the complexities of several such extensions.The purpose is to understand the compu...There have been active work to extend the Prolog style Horn Clause logic programming to non-Horn clauses.In this paper,we will analyze the complexities of several such extensions.The purpose is to understand the computational complexity of these inference systems.The analyses do not prove that any one system is better than the others all the time.But they do suggest that one system may be better than the others for some particular problems.We also discuss the effect of caching.展开更多
We report an extremely rare case of an unmptured non-communicating rudimentary horn full-term pregnancy. A woman who had a uterine malformation was misdiagnosed as uterus didelphys and gave birth to a live, healthy fe...We report an extremely rare case of an unmptured non-communicating rudimentary horn full-term pregnancy. A woman who had a uterine malformation was misdiagnosed as uterus didelphys and gave birth to a live, healthy fetus. The correct diagnosis was not made until cesarean section at 37 4/7 weeks. The case suggests that women who are pregnant in a rudimentary horn could obtain a full-term delivery and give birth to a live and healthy baby.展开更多
Background: Word hemi-hysterectomy and removal of rudimentary functional horn may be used interchangeably in published data. The same term may be used when a non-obstructive hemi-uterus is removed when there is an ass...Background: Word hemi-hysterectomy and removal of rudimentary functional horn may be used interchangeably in published data. The same term may be used when a non-obstructive hemi-uterus is removed when there is an associated pathology. The article tries to standardise classification of Mullerian dysgenesis where this procedure is required according to ESHRE ESGE classification, preoperative diagnosis and discuss the operative details. Objective: The objective was to study the demographic profile, symptoms, association of endometriosis, variation in the anatomy, accuracy of preoperative diagnosis, to classify according to ESHRE ESGE classification and to standardize the laparoscopic surgical steps of hemi-hysterectomy. Study Design: This is a retrospective case series of cases of Mullerian dysgenesis with obstructive hemi-uterus or non-obstructive hemi-uterus with pathology treated by laparoscopic hemi-hysterectomy. (Canadian task force classification III). Methods: Data from hospital electronic records of all cases tagged with word laparoscopic hemi-hysterectomy were collected for 9 years from Jan 2009 to Dec 2018. Results: Total 19 patients of hemi-hysterectomy were analysed. Pre-operative diagnosis was made in 100% of patients. 100% patients with obstructive horn had dysmenorrhoea. ESHRE ESGE class U4aC3V0 was more frequently seen followed by U5aC4V4 and U3bC3V2 as obstructive and U4bC3V0, as non-obstructive. Associated endometriosis along with other pathology was seen in 74% of the patients. 3 patients with HWWS had ipsilateral renal agenesis. Laparoscopic hemi-hysterectomy was offered to all such patients. The operative steps & variants were studied. Post-operative outcome was uneventful in all. Conclusion: An experienced surgeon should deal with these problems of Mullerian dysgenesis discussed in this study. The other variants diagnosed also must be treated by an experienced surgeon only. Laparoscopic hemi-hysterectomy is almost the most standard surgical method to treat pelvic pain in cases with rudimentary non-communicating horns or in cases of non-obstructive horns with other associated pathologies. Post-operative recovery is uneventful, and all patients reported pain free periods as well as they are free of chronic pain which they had before surgery.展开更多
文摘Several extensions of the logic programming language Prolog to non Horn clauses use case analysis to handle non-Horn clauses. In this paper, analytical and empirical evidences are presented to show that, by making a set of clauses less 'non-Horn' using predicate renaming, the performance of these case-analysis based procedures can be improved significantly. In addition, the paper also investigated the problem of efficiently constructing a predicate renaming that reduces the degree of 'non-Hornness' of a clause set maximally. It is shown that this problem of finding a predicate renaming to achieve minimal 'non-Hornness' is NP-complete.
文摘There have been active work to extend the Prolog style Horn Clause logic programming to non-Horn clauses.In this paper,we will analyze the complexities of several such extensions.The purpose is to understand the computational complexity of these inference systems.The analyses do not prove that any one system is better than the others all the time.But they do suggest that one system may be better than the others for some particular problems.We also discuss the effect of caching.
文摘We report an extremely rare case of an unmptured non-communicating rudimentary horn full-term pregnancy. A woman who had a uterine malformation was misdiagnosed as uterus didelphys and gave birth to a live, healthy fetus. The correct diagnosis was not made until cesarean section at 37 4/7 weeks. The case suggests that women who are pregnant in a rudimentary horn could obtain a full-term delivery and give birth to a live and healthy baby.
文摘Background: Word hemi-hysterectomy and removal of rudimentary functional horn may be used interchangeably in published data. The same term may be used when a non-obstructive hemi-uterus is removed when there is an associated pathology. The article tries to standardise classification of Mullerian dysgenesis where this procedure is required according to ESHRE ESGE classification, preoperative diagnosis and discuss the operative details. Objective: The objective was to study the demographic profile, symptoms, association of endometriosis, variation in the anatomy, accuracy of preoperative diagnosis, to classify according to ESHRE ESGE classification and to standardize the laparoscopic surgical steps of hemi-hysterectomy. Study Design: This is a retrospective case series of cases of Mullerian dysgenesis with obstructive hemi-uterus or non-obstructive hemi-uterus with pathology treated by laparoscopic hemi-hysterectomy. (Canadian task force classification III). Methods: Data from hospital electronic records of all cases tagged with word laparoscopic hemi-hysterectomy were collected for 9 years from Jan 2009 to Dec 2018. Results: Total 19 patients of hemi-hysterectomy were analysed. Pre-operative diagnosis was made in 100% of patients. 100% patients with obstructive horn had dysmenorrhoea. ESHRE ESGE class U4aC3V0 was more frequently seen followed by U5aC4V4 and U3bC3V2 as obstructive and U4bC3V0, as non-obstructive. Associated endometriosis along with other pathology was seen in 74% of the patients. 3 patients with HWWS had ipsilateral renal agenesis. Laparoscopic hemi-hysterectomy was offered to all such patients. The operative steps & variants were studied. Post-operative outcome was uneventful in all. Conclusion: An experienced surgeon should deal with these problems of Mullerian dysgenesis discussed in this study. The other variants diagnosed also must be treated by an experienced surgeon only. Laparoscopic hemi-hysterectomy is almost the most standard surgical method to treat pelvic pain in cases with rudimentary non-communicating horns or in cases of non-obstructive horns with other associated pathologies. Post-operative recovery is uneventful, and all patients reported pain free periods as well as they are free of chronic pain which they had before surgery.
