MPG.eBooks - Search Results - "logic programming"

1

Published 1989

Springer Berlin Heidelberg

Table of Contents: “... of logic programs with external procedures -- An application of abstract interpretation in source level...”

2

by Deransart, Pierre
Published 1990

Springer

3

by Deransart, Pierre
Published 1993

MIT Press

Subjects: “...Logic programming...”

4

Published 1990

Springer Berlin Heidelberg

Table of Contents: “... by algorithmic debugging and program slicing -- A constraint logic programming shell -- Modifying the simplex...”

5

by Deransart, Pierre, Ed-Dbali, AbdelAli, Cervoni, Laurent
Published 1996

Springer Berlin Heidelberg

“... Prolog. Prolog was the first logic programming language and is used in many areas in industry...”

6

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions...”