Advanced Programming Techniques. With a foreword by David H. D. Warren. Second Edition. The MIT Press. Cambridge, Massachusetts. 1994.

De 23,5x21 cm. Com 509, [iii] págs. Encadernação com bela ilustração a cores do editor. Ilustrado com gráficos no texto. Exemplar com assinatura de posse na folha de rosto. Tem junto um formulário da editora para encomendas.

Manual avançado de programação em Prolog, estruturado desde os fundamentos dos programas lógicos e da linguagem Prolog até às técnicas de programação não determinística, interpretação, transformação de programas e gramáticas lógicas. Inclui numerosos programas comentados e aplicações práticas, entre as quais jogos, sistemas periciais, resolução de equações e compilação.