P. Tarau. The BinProlog Manual. Distributed with the BinProlog system. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (28 citations) (Correct)
....very simple to code in Lygon. More generally, the resource sensitive nature of linear logic makes the notion of meta programming in linear logic particularly interesting. Another potential application for counting applications is in solving puzzles such as the famed SEND MORE = MONEY. Tarau [25] has shown how an improvement of the Prolog solution can be given by using a linear predicate for the digits. Thus each digit can be used only once, and this reduces the number of impossible combinations of digits that need to be considered, such as having all of the digits equal to 2. Consider ....
P. Tarau. The BinProlog Manual. Distributed with the BinProlog system.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC