13.1. The Topic

13.2. Bibliography

 discussions and papers
        SEARCHES
                Google search
        Papers
                Towards functional programming in Prolog - 1988
                On implementing Prolog in functional programming (Mats Carlsson) - 1984
                Higher-order logic programming in Prolog - 1996
                LOGIC PROGRAMMING WITH FUNCTIONS AND PREDICATES: THE LANGUAGE BABEL 1992
                Integrating Logic and Functional Programming 1989