Logic Programming with Prolog [Paperback]

answer  argument  arithmetic  ascii  atom  backtracking  below  body  bound  call  case  causes  chapter  character  child  clause  compound  current  database  define  defined  defining  definition  dog  effect  elements  end  entered  evaluating  example  expressions  facts  fails  file  find  first  following  further  given  gives  goal  head  input  integers  iss  john  left  line  list  mary  may  must  mypred  name  new  next  note  now  number  operator  output  part  predicate  program  prolog  prompt  read  right  rule  satisfy  second  section  sequence  should  shows  stream  string  succeeds  system  takes  term  test  third  three  time  two  type  unbound  unification  unified  unify  use  used  user  value  variable  whether  write  written  yes