ProBoole(ID:5071/pro006)
Boolean algebra extensions to Prolog
Related languages
| Prolog |
=> |
ProBoole | |
Extension of |
References:
NUMAO Masayuki, MORISHITA Shin-ichi, HIROSE Shin-ichi "Free-Boolean Valued Logic Programming Language and Its Application to Hypothetical Inference" view details
Abstract: An Extension of Prolog called "ProBoole" was proposed. The truth value of Prolog is naturally extended to Free-Boolean algebra. Its important feature which regards expression as value offers a good foundation for the hypothetical inference. As an example of its application, multi-faults problems of logic circuit was described and solved.
|