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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
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.