LOGIC PROGRAMMING: THEORY, PRACTICES AND CHALLENGES

LOGIC PROGRAMMING: THEORY, PRACTICES AND CHALLENGES

LIBRARY OF CONGRESS CATALOGING-IN-PUBLICATION DATA

CONTENTS

PREFACE

Chapter 1: FUZZY LOGIC INFERENCING FOR PONG (FLIP)

Abstract

Introduction

Literature Survey

Problem Formulation

Research Methodology

Results

Conclusion

Future Work

Acknowledgments

Appendix

References

Chapter 2: DISLOG: A LOGIC-BASED LANGUAGE FOR PROCESSING DISCOURSE

Abstract

1. Introduction

2. Discourse Analysis Challenges and Results

3. The Three Components of Discourse Processing

4. The Dislog Language

5. The Engine

6. Current Main Applications

7. Conclusion

References

Chapter 3: SEProlog: A SET EXTENSION OF Prolog

Abstract

1. Introduction

2. The Syntactical Description Of SEProlog

3. An Example of Application of SEProLog

4. A Semantical Interpretation of SEProlog

5. Summaries

References

Chapter 4: DIRECT GRAPHICAL REPRESENTATION OF FIRST-ORDER LOGIC FOR INFERENCE

Abstract

1. Introduction

2. High-level Petri-net

3. Data-flow-based KTN

4. Petri-net-based KTN

5. Conclusion and Discussions

References

INDEX