Re: OT: Programming Careers

On Fri, 29 Jun 2007 13:11:25 +0100, Jonathan L Cunningham wrote:

David Mitchell <david@xxxxxxxxxxxxxxxxxxxx> wrote:

A related problem is that, in prolog, you can define a "not" operator,
but "failure is treated as negation", i.e. the way prolog works, if it
can't prove something to be true, it treats it as if it were false.

That rings a bell.

IOW, Kowalski's slogan "program = logic + control" doesn't really apply
to prolog after all: prolog isn't logic. It's just another programming
language (a different and interesting one, to be sure).

"PRObably the Language Of God"

:-)

Never liked it much, myself.

--
=======================================================================
= David --- If you use Microsoft products, you will, inevitably, get
= Mitchell --- viruses, so please don't add me to your address book.
=======================================================================
.

Relevant Pages

  • Re: predicate in a predicate
    ... Prolog is somehow from Horn Clauses, they can have at most one ... how can I convert the FOL that have two positive ... With negation as failure you can go beyond horn clauses. ...
    (sci.logic)
  • Re: Is Prolog good for AI? (was: Minsky still posting)
    ... > widely viewed as a failure. ... Saying that is not to say that Prolog is without value. ... Otherwise, there is no difference between two programming languages, it ... takes a constant program to simulate any other language. ...
    (comp.lang.prolog)
  • Re: Is Prolog good for AI? (was: Minsky still posting)
    ... >> widely viewed as a failure. ... programming language was "a version of Prolog". ...
    (comp.lang.prolog)
  • Re: Mainstreaming Prolog a Pragmatic Approach?
    ... experience is that Prolog is an incredibly useful language for virtually all ... often than not end up using Prolog. ... I think you're right when you question whether logic programming really ...
    (comp.lang.prolog)
  • Re: An even more basic question...
    ... My task was to represent these rules in Prolog, and to write an engine which, given a client's total position, could find the way of pairing its components so as to satisfy the rules with the minimum total margin requirement. ... present-day ISO Prolog is not co-extensive with the concept of Prolog -- and Prolog is not a "language" is the abusive sense in which that term is misapplied to deterministic stepwise-imperative computing notations. ... TOPIC: PROGRAMMING ... adapted to your particular scheduling problem, ...
    (comp.lang.prolog)