🚀 go-pugleaf

I am after some fairly detailed information on the subject of logic
programming applications, and would like any of you out there to
reccomend references to me please. The references must meet the
following requirements:

1/ The algorithm for solving the problem must be made explicit in the text,
   and should be specified declaratively within the program.

2/ Any control used to increase the efficiency of the algorithm should
   preferably be distinct from the algorithm's specification. Again, this
   control information should be made explicit in the text.

3/ Performance information would be a great help too.

Alternatively, any references for applications which mix logic and control, 
for well specified reasons, would also be appreciated.

Please email any details :  cwp@otter.hple.hp.com

	Thanks in advance for your help,

			Chris Preist