1. (100%) A three-valued semantics for logic programmers - Naish, Lee
This paper describes a simpler way for programmers to reason about the correctness of their code. Th ...
- 30-mar-2007

2. (100%) Higher-order logic programming in Prolog - Lee Naish
this paper is to illustrate higher order programming techniques in Prolog. We give examples to show ...
(ps) - 31-mar-2009

3. (100%) Coroutining and the Construction of Terminating Logic Programs - Lee Naish
This paper investigates the role of coroutining in the termination of logic programs. We define a va ...
(ps) - 31-mar-2009

4. (100%) Adding equations to NU-Prolog - Lee Naish
This paper describes an extension to NU-Prolog which allows evaluable functions to be defined using ...
(ps) - 31-mar-2009

5. (100%) Higher-order logic programming in Prolog - Lee Naish
This is yet another paper which tells logic programmers what functional programmers have known and p ...
(ps) - 31-mar-2009

6. (100%) A Three-Valued Declarative Debugging Scheme - Lee Naish
Declarative debugging has many advantages over conventional approaches to debugging for logic and fu ...
(ps) - 31-mar-2009

7. (100%) Pruning in Logic Programming - Lee Naish
The logic programming community has a love--hate relationship with operators for pruning the search ...
(ps) - 31-mar-2009

8. (100%) A Three-Valued Declarative Debugging Scheme - Lee Naish
Declarative debugging has many advantages over conventional approaches to debugging for logic and fu ...
(ps) - 31-mar-2009

9. (100%) Higher-order logic programming in Prolog - Lee Naish
this paper is to illustrate higher order programming techniques in Prolog. We give examples to show ...
(ps) - 31-mar-2009

10. (100%) Adding equations to NU-Prolog - Lee Naish
This paper describes an extension to NU-Prolog which allows evaluable functions to be defined using ...
(ps) - 31-mar-2009

Página de resultados:
1  2  3  4  5  6  7  8  Siguiente