et calcul symbolique

Download:

by Mireille Ducasse Irisa/insa, Projet Lande

ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3531.ps.gz

Add To MetaCart

Abstract:

apport de recherche

8	Retrospective zooming, a knowledge based tracing and debugging methodology for logic programming – Eisenstadt - 1985
2	Logic Programming - New Frontiers. Oxford: Intellect Books – Brough - 1992
2	Les boucles dans Prolog : Structures et origines – Pelhat - 1987
2	Y\|Ys]) :- N1 is N - 1, % fix: N1 is N + 1 attack(X, N1, Ys). RR n3531 22 M. Ducassé B The buggy simplify The problem, taken from [Bratko – attack - 1986
1	A The buggy N-queens program This is the simple igenerate-and-testj version of the N-queens taken from [Sterling – Shapiro - 1994