Origin and history of query operator (?-)

From: Michael D. Kersey (mdkersey_at_hal-pc.org)
Date: 03/23/05


Date: Wed, 23 Mar 2005 13:07:24 -0600

What is the origin and history of "?-", the Prolog prompt and operator?

Is the "-" intended to be an indication of resolution refutation?

Sometimes a rose is just a rose and a prompt is just a prompt, but I'd
like to be certain and have found little concerning the history of this
operator.



Relevant Pages

  • Re: Ten unpopular fannish opinions about Doctor Who
    ... They address this issue at the end by the young Rose getting a new ... "due" to die in the estate to feel the need to spontaneously run out ... and then, "for some reason, Pete just ran out" (probably got nagged at ... necessarily why the problems start(ed in that alternate history). ...
    (rec.arts.drwho)
  • The Chris & Billie Era, Part 3
    ... Now Rose is smiling when it turns out there is trouble. ... There were lots of arguments about time travel after this one. ... The Doctor is upset at her with ... tampering with history without thinking it through, ...
    (rec.arts.drwho.moderated)
  • Re: Ghost 9.0 - warning
    ... Deleting history, any history, should NEVER ... >That prompt specifically told you what the outcome would ... >complain because that clearing history shouldn't function ... >> I am just posting a warning to others! ...
    (microsoft.public.windowsxp.general)
  • Re: Default editable values
    ... Someone posted a patch for bash that does that. ... The option -s puts the value in the history and you may access it ... of the history in the prompt using the builtin fc, ... Or simply just display the default value with the prompt... ...
    (comp.unix.shell)
  • Re: S4E13 The Other Three Doctors, or Yer, right...
    ... >>> Emperor deliberately changed history, ... The Doctor was remembering the Empire from 80 years earlier before the ... If she had and the Doctor changed time Dalek and Bad Wolf wouldn't have happened. ... If Dalek didn't happen the Doctor and Rose would have not met Captain Jack ...
    (rec.arts.drwho)