MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "What is a Logic Program." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Programming in Lygon: An Overview
by James Harland, David Pym, Michael Winikoff — 1996 — ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
… for logic programming languages, the fundamental question of what is meant by a logic programming language…
Cited by 37 (17 self) – Add To MetaCart

On Goal-Directed Provability in Classical Logic
by James Harland, Royal Melbourne — 1994
… for fact formulae, but these do not seem to correspond to intuitive notions of what a logic programming…
Cited by 6 (2 self) – Add To MetaCart

The Compilation of Prolog and its Execution with MALI
by Pascal Brisset, Olivier Ridoux, Irisa Olivier, Calcul Symbolique, Et G'enie Logiciel — 1993
… : : : : : : : : : : : : : : : : : : : : : : 12 1.2.1 What is in a logic programming language…
Cited by 11 (8 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB