<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2001-03-26 23:04:10Prolog Logic programming Predicate logic Predicate Unification Function Datalog B-Prolog Software engineering Mathematical logic Logic |
|
| First Page | Document Content | |
|---|---|---|
Date: 2001-03-26 23:04:10Prolog Logic programming Predicate logic Predicate Unification Function Datalog B-Prolog Software engineering Mathematical logic Logic |
|
h hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh Chapter 8 ❖