Re: Object Oriented Prolog for Windows

pmoura_at_di.ubi.pt
Date: 02/20/05 

Date: 20 Feb 2005 11:19:16 -0800

John Powel wrote:
> Hi Alexei,
>
> > The problem is what do you mean under the object-orientation in

> Prolog?
>
> Well, I thougt my question was simple :-). I mean object oriented
like
> Small Talk, Java, C++ or C#.

Not so simple... SmallTalk, Java, C++, and C# are all class-based
languages. There are also other "types" of object-oriented languages
such as protype-based ones (Self, for example). Likewise, most Prolog
object-oriented extensions are either class-based or protype-based
(some, like Logtalk, support both class-based and prototype-based
designs).

It's not clear which OO features are important for you on an OO
extension to Prolog. Even if you restrict yourself to something along
the lines of the languages you cite above, there are some important
differences. For example, only Java and C++ provide (decent) separation
between interface/protocol and inheritance. Only C++ supports
implementation multi-inheritance. All this leaves the developer of an
OO extension to Prolog with a fair amout of design goals and trade-offs
to make, as reflected on the diversity of Prolog OO extensions which
are available today.

Cheers,

Paulo

Relevant Pages

  • Re: In which cases/problems is Prolog faster than Java?
    ... We've OOP languages built from functional languages foundations ... they are envy of imperative programming styles. ... still a predicate either in plain Prolog or encapsulated in a Prolog ... People often use Java not because its OO features per se but because ...
    (comp.lang.prolog)
  • Re: Is Prolog good for AI? (was: Minsky still posting)
    ... > than a programming language suitable for large scale direct human use. ... but it was Prolog nor AI. ... >> than most other languages. ... PHP because it solves a very specific problem. ...
    (comp.lang.prolog)
  • Re: Mainstreaming Prolog a Pragmatic Approach?
    ... > striking feature of Prolog. ... languages with pointers into structures. ... Japanese Fifth Generation project's adoption of the logic programming ... Another part of the problem is recursion. ...
    (comp.lang.prolog)
  • Re: Lisp/AI, Carnegie Mellon University
    ... > I tend to feel the same way about prolog, but people who are very fluent ... I guess it may be partly because Lisp has a core that can be ... > used for a functional programming style, somewhat like Scheme, which is ... > of what theoretical computer scientists call 'functional languages', ...
    (comp.lang.lisp)
  • Re: Solving a set of boolean equations
    ... Languages I know are some ASMs, C, C++ and the excellent OCaml. ... I have looked a bit at Prolog more than 20 years ago and I now ... X xor Y xor Z = true ... over Z/2Z are solved (using bitwise operations to ...
    (comp.lang.prolog)