Newsgroup: comp.lang.prolog

In article <1992Dec01.090444.26644@th-ilmenau.RZ.TH-Ilmenau.DE> huebner@PrakInf.TH-Ilmenau.DE (Huebner) writes:
[...]
>I'm more related with object-oriented programming, but I feel,
>that it would be nice to have a combination of the expressive
>power of logical formulas and the means of inheritance of OOP. 
>Is there a language that tries to integrate these two paradigms?

There are at least nine approaches that combine these two paradigms.
Still more approaches combine the two paradigms with other paradigms,
such as parallelism, and functional programming.  The following
items describe combinations of logic and object-oriented paradigms:

@Book   {McC92,
        Title="Logic and Objects",
        Author="Francis G. McCabe",
        Publisher="Prentice Hall",
        Year="1992"
        }

@InCollection   {Kah82,
        Author="Kenneth M. Kahn",
        Title="Intermission --- {A}ctors in {P}rolog",
        Editor={Keith L. Clark and Sten-\AA{ke} T\"{a}rnlund},
        Booktitle="Logic Programming",
        Pages="213--228",
        Publisher="Academic Press",
        Year="1982",
        }

@InProceedings  {IK87,
        Title="Extending Logic Programming to Object Programming: The System {LA
P}",
        Author="Herman Iline and Henry Kanoui",
        Booktitle="{IJCAI} 87: Proceedings of the Tenth International Joint Conf
erence on Artificial Intelligence",
        Address="Milan, Italy",
        Month=aug,
        Year="1987",
        Pages="34--39",
        Editor="John McDermott",
        }

@InProceedings  {AN86,
        Title="Logic and Inheritance",
        Author={Hassan A\"{\i}t-Kaci and Roger Nasr},
        Booktitle="Conference Record of the 13th Annual {ACM} Symposium on Princ
iples of Programming Languages",
        Month="Januray",
        Year="1986",
        Pages="219--228",
        Address="St. Petersburg Beach, Florida, USA",
        Organization="Association for Computing Machinery",
        }

@Article        {Wu91,
        Title="Integrating Logic and Object-Oriented Programming",
        Author="{Shaun-inn} Wu",
        Journal="OOPS Messenger",
        Volume="2",
        Number="1",
        Pages="28--37",
        Month=jan,
        Year="1991",
        }

@InProceedings  {Aka86,
        Title="Inheritance Hierarchy in Prolog",
        Author="Kiyoshi Akama",
        Booktitle="Logic Programming '86, Proceedings of the 5th Conferene",
        Address="Tokyo, Japan",
        Month="June",
        Year="1986",
        Pages="12--21",
        Editor="Eiiti Wada",
        Publisher="Springer-Verlag",
        Note="Lecture Notes in Computer Science 264"
        }

@InProceedings  {Kos87,
        Title="Amalgamating Multiple Programming Paradigms in {P}rolog",
        Author="Yoshiyuki Koseki",
        Booktitle="{IJCAI} 87: Proceedings of the Tenth International Joint Conf
erence on Artificial Intelligence",
        Address="Milan, Italy",
        Month=aug,
        Year="1987",
        Pages="76--86",
        Editor="John McDermott",
        }

@InProceedings  {Nak84,
        Title="Knowledge Representation in {P}rolog/{KR}",
        Author="Hideyuki Nakashima",
        Booktitle="1984 International Symposium on Logic Programming",
        Address="Atlantic City, New Jersey, USA",
        Month=feb,
        Year="1984",
        Organization="The Computer Society of the IEEE",
        Pages="126--130",
        Publisher="IEEE Computer Society Press",
        }

@InProceedings  {Zan84,
        Title="Object-Oriented Programming in {P}rolog",
        Author="Carlo Zaniolo",
        Booktitle="1984 International Symposium on Logic Programming",
        Address="Atlantic City, New Jersey, USA",
        Month=feb,
        Year="1984",
        Organization="The Computer Society of the IEEE",
        Pages="265--270",
        Publisher="IEEE Computer Society Press",
        }

I hope this helps,

Diomidis
-- 
Diomidis Spinellis    Internet: <dds@doc.ic.ac.uk>  UUCP: ...!uknet!icdoc!dds
Department of Computing, Imperial College, London SW7     #include "/dev/tty"

Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.