Logic programming : theory, practices and challenges /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Lambert, Marcus J. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Nova Science Publishers, Inc., [2014]
Colección:Computer science, technology and applications.
Temas:
Logic programming.
Programmation logique.
COMPUTERS > Programming > Open Source.
COMPUTERS > Software Development & Engineering > Tools.
COMPUTERS > Software Development & Engineering > General.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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 Applications7. 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.

Ejemplares similares