Advertisement

OBLOGIS, A Flexible Flavor Implementation of PROLOG Logic, and Its Application to the Design of a Broaching Expert System

  • Paul Y. Gloess
  • Jacques Marcovich

Abstract

OBLOGIS is a new implementation of PROLOG logic, which entirely relies upon “flavors” (a message oriented programming technique). OBLOGIS is integrated in various LISP environments: ZetaLISP-Plus, VAX-LISP, NIL, MacLISP. OBLOGIS provides an interface between Common LISP objects and PROLOG clauses.

OBLOGIS “flevor” implementation is responsible for a highly flexible design. By adding new flavors or methods, the user is free to customize or extend such components as: clause syntax and semantics, unification, the inference engine. Furthermore, it allows a fast development of new interfaces between OBLOGIS clauses and specialized data structures or relational DBMS.

The system is being applied to expert system design in various domains. In this paper, we present 0BLOGIS, its implementation, and an industrial application of OBLOGIS to the design of a broaching expert system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Albert 85]
    P. Albert, “PROLOG et les Objets”, 5th International Workshop, Expert Systems & their Applications, Avignon, France ( May 1985).Google Scholar
  2. [Barthès 79]
    J.P. Barthès, M. Vayssade & M. Znamierovska, “Property Driven Dete Bases”, 6th IJCAI , Tokyo (1979).Google Scholar
  3. [Bourgault 83]
    S. Bourgeult, M. Dincbas, D. Feuerstein & J.P. Lepape, “LISLOG: L’an II”, 2ème Séminaire de Programmation en Logique, Perros-Guirec ( Février 1983).Google Scholar
  4. [Burke 84]
    Glenn S. Burke, George J. Carette & Christopher Eliot, “NIL Reference Manual”, MIT/LCS/TR-31 1 (January 1984).Google Scholar
  5. [Chailloux 82]
    Jérôme Chailloux, “Le_Lisp 68K, Le Manual”, I.N.R.I.A. (July 1982).Google Scholar
  6. [Colmerauer 82]
    A. Colmerauer, “PROLOGIS, Manuel de Référence et Modèle Théorique”, GIA Marseille Luminy (Mars 1982).Google Scholar
  7. [Oloess 85]
    P.Y. Gloess, “OBLOGIS User’s Manual, Release 1.2”, Rapport U.T.C. & GRAPHAEL (October 1985).Google Scholar
  8. [Gloess 84a]
    P. Y. Gloess, “LOGIS, Un Système PROLOG dans un Environnement LISP”, 3ème Séminaire de Programmation en Logique, Plestins-les-Grèves (April 1984).Google Scholar
  9. [Oloess 84b]
    P.Y. Gloess & Nguyen T Dung, “OBLOGIS, an Object Oriented Implementation of PROL0G in a LISP Environment”, Colloque International d’ Intellicence Artificielle, Merseille (Octobre 1984).Google Scholar
  10. [Gomez 84]
    C. Gomez, J.P. Quadrat & A. Sulem, “Toward an Expert System in Stochastic Control: the Hamilton-Jacobi Equation Part”, Proceedings of the 6th International Conference on Analysis and Optimization of Systems”, Nice, pp. 571–577, Springer-Verlag (June 1984).Google Scholar
  11. [Gomez 85]
    C. Gomez, J.P. Quadrat & A. Sulem, “Computer Algebra as a Tool”, in book “Application of Computer Algebra”, Kluwer Academic Publishers.Google Scholar
  12. [Oreussay 83]
    P. Greussay, “LOVLISP: Une Extension de VLISP vers PROLOG, Documentation en Ligne”, Université Paris-8 et L.I.T.P. (Août 83).Google Scholar
  13. [Hullot 83]
    J.M. Hullot, “CEYX, A Multiformalism Programming Environment”, I.N.R.I.A. Report 210 ( May 1983) & I.F.I.P., Paris (September 1983).Google Scholar
  14. [Kahn 83]
    K. M. Kahn &M. Carlsson, “How to Implement PROLOG on a LISP Machine”, in book “Implementations of PROLOG”, Ellis Horwood (1983).Google Scholar
  15. [Kahn 841]
    K. Kahn, “Intermission: Actors in Prolog”, in book “Logic Programming”, Clark K. L. ed., Academic Press, pp. 213–228.Google Scholar
  16. [Moon 83]
    D.A. Moon, R.M. Stallman & D.L. Weinreb, “LISP Machine Manual”, 5th Edition, System Version 92 (January 83).Google Scholar
  17. [Steele 84]
    G.L. SteeleJr., S.E. Fahlman, R.P. Gebriel, D.A. Moon & D.L. Weinreb, “Common LISP: the Lenguage”, Digital Press.Google Scholar
  18. [Tallibert 85]
    P. Tellibert, “MI3 - Outils de Représentation et d’Exploitation de la Connaissance. Description et Exemple d’Utilisation”, 5èmes Journées Internationales, Les Systèmes Experts et leurs Applications, Avignon ( Mai 1985).Google Scholar
  19. [Zanon 82]
    O. Zanon, “PROLISP”, C.E.R.T. (1982).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Paul Y. Gloess
    • 1
  • Jacques Marcovich
    • 2
  1. 1.UA CNRS 817/UTC-GI/BP 233/60206 Compiègne Cédex/France & GRAPHAEL/8, Rue Saint-HilaireCoudunFrance
  2. 2.Renault - D.A.S.T./9 - 11 Rue du 18 Juin 1940Rueil MalmaisonFrance

Personalised recommendations