Logical Objects Incorporated some features of
LOGIN Extension of

Logic Programming Language

LPL++ 1 Extension of
1