Cargando…

Clause and Effect : Prolog Programming for the Working Programmer /

This workbook is for programmers who are new to Prolog and who wish to write useful Prolog programs. The emphasis is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. A relatively pure...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Clocksin, William F.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Getting Started
  • Data Structures
  • Mapping
  • Choice and Commitment
  • Difference Structures
  • Case Study: Term Rewriting
  • Case Study: Manipulation of Combinational Circuits
  • Case Study: Manipulation of Clocked Sequential Circuits
  • Case Study: A Compiler for Three Model Computers
  • Case Study: The Fast Fourier Transform in Prolog
  • Case Study: Higher Order Functional Programming
  • Appendix
  • References
  • Index.