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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. Albert, “PROLOG et les Objets”, 5th International Workshop, Expert Systems & their Applications, Avignon, France ( May 1985).
J.P. Barthès, M. Vayssade & M. Znamierovska, “Property Driven Dete Bases”, 6th IJCAI , Tokyo (1979).
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).
Glenn S. Burke, George J. Carette & Christopher Eliot, “NIL Reference Manual”, MIT/LCS/TR-31 1 (January 1984).
Jérôme Chailloux, “Le_Lisp 68K, Le Manual”, I.N.R.I.A. (July 1982).
A. Colmerauer, “PROLOGIS, Manuel de Référence et Modèle Théorique”, GIA Marseille Luminy (Mars 1982).
P.Y. Gloess, “OBLOGIS User’s Manual, Release 1.2”, Rapport U.T.C. & GRAPHAEL (October 1985).
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).
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).
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).
C. Gomez, J.P. Quadrat & A. Sulem, “Computer Algebra as a Tool”, in book “Application of Computer Algebra”, Kluwer Academic Publishers.
P. Greussay, “LOVLISP: Une Extension de VLISP vers PROLOG, Documentation en Ligne”, Université Paris-8 et L.I.T.P. (Août 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).
K. M. Kahn &M. Carlsson, “How to Implement PROLOG on a LISP Machine”, in book “Implementations of PROLOG”, Ellis Horwood (1983).
K. Kahn, “Intermission: Actors in Prolog”, in book “Logic Programming”, Clark K. L. ed., Academic Press, pp. 213–228.
D.A. Moon, R.M. Stallman & D.L. Weinreb, “LISP Machine Manual”, 5th Edition, System Version 92 (January 83).
G.L. SteeleJr., S.E. Fahlman, R.P. Gebriel, D.A. Moon & D.L. Weinreb, “Common LISP: the Lenguage”, Digital Press.
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).
O. Zanon, “PROLISP”, C.E.R.T. (1982).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gloess, P.Y., Marcovich, J. (1986). OBLOGIS, A Flexible Flavor Implementation of PROLOG Logic, and Its Application to the Design of a Broaching Expert System. In: Sriram, D., Adey, R. (eds) Applications of Artificial Intelligence in Engineering Problems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21626-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-21626-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-21628-6
Online ISBN: 978-3-662-21626-2
eBook Packages: Springer Book Archive