A self-applicable partial evaluator for the logic programming language Goedel
Main Author: | Gurr, Corin Alistair |
---|---|
Published: |
University of Bristol
1994
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385689 |
Similar Items
-
The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981) -
The application of logic programming to data bases
by: Neves, Jose Carlos Ferreira Maia
Published: (1983) -
A computational model for logic programming languages and its supporting architecture
by: Wang, Jiwei
Published: (1991) -
A logic-based modelling language and integer-programming framework for multicriteria optimisation
by: Vieira Pinto, Rodrigo Lamas
Published: (1995) -
The associative evaluation of logic programs and heuristic search techniques
by: Rodohan, Darren Patrick
Published: (1993)