cwp@otter.hple.hp.com (Chris Preist) (03/17/88)
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