higher Order Logic, and Oyster Clam

In relation to RDF and FOL

Just thinking loud (not asking any question)

I know that there is an underlying argument that all logic is essentially
FOL (never mind exceptions and other POVs

Was going through some papers and some relevant points came up

  Automation of Higher-Order Logic
Authors: Christoph Benzm¨uller and Dale Miller Readers: Peter Andrews,
Jasmin Blanchette, William Farmer, Herman Geuvers, and Bruno Woltzenlogel
Paleo Venue: The Handbook of the History of Logic, eds. D. Gabbay & J.
Woods Volume 9: Logic and Computation, editor J¨org Siekmann
http://www.lix.polytechnique.fr/~dale/papers/automationHOL.pdf

  Bundy, A., van Harmelen, F., Horn, C., Smaill, A., 1990. The Oyster-Clam
system, in: Stickel, M.E. (Ed.), 10th International Conference on Automated
Deduction,

Computational Logic  Page 145
https://books.google.com.tw/books?id=H9-pCAAAQBAJ&lpg=PA145&ots=AidwU3D11M&dq=oyster%20logic&pg=PA145#v=onepage&q=oyster%20logic&f=false