Operations on FS Clause Samples

Operations on FS. ‌ The two principal operations we need to perform on FS are merging the infor- mation content of two structures and rejecting the merger of structures that are incompatible. A single computational technique, namely unification, suffices for both of the pur- poses. Unification is implemented as a binary operator that accepts two FS as arguments and returs a FS when it succeeds.