SCL/For Harry/1
From Public Domain Knowledge Bank
Simplified Common Logic
A flexible framework for information interchange based on first-order logic
A flexible framework for information interchange based on first-order logic