What people are saying - Write a review
We haven't found any reviews in the usual places.
INTRODUCTION TO SPECIFICATION
FIRST STEPS TO PROLOG
A PROLOG EXAMPLE
13 other sections not shown
abstract data type answer backtracking binary search tree binary tree bovidae BSTree Cartesian product chapter classification CONCATENATE contains data structures database declarative meaning defined discs element empty list example Exercise EXIT fact fails female(X following query formal specification functor given list head implementation input and output input data instances instantiated integer interface ISEMPTYTREE(t Item left subtree logic lucy match member(X noun phrase object oriented operation parameters parent of relation parentof part_of(X Pascal Practical Activity problem procedural meaning procedural programming programming language Prolog interpreter Prolog program Prolog system prototype query mode recursive regular polygon relation name relationship represented resatisfaction resatisfied response result right subtree root node rule satisfied seamus second clause semantics sentence shown in Fig software component software production Solution structured term subgoal succeeds syntax tail Towers of Hanoi trace true type_of(X unifies variable vertebrate write