| Abstract | .... 2 | |
| 1 | Introduction | .... 3 |
| 2 | Applying Profiles of Constraint | .... 4 |
| 3 | Semantic Representation and Constraint in Logic Databases | .... 9 |
| 4 | Implementation of Knowledge acquisition Programs | .... 16 |
| 5 | Conclusion | .... 23 |
| Acknowledgements | .... 24 | |
| References | .... 24 | |
| End | .... 25 |
ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda