SCL/For Harry/1

From Public Domain Knowledge Bank
Jump to: navigation, search

Simplified Common Logic

A flexible framework for information interchange based on first-order logic