Higher Order Logic
method
ID: higherorderlogic
Outgoing Relationships
| Relationship | Target Entity | Type | Actions |
|---|---|---|---|
| includes | Definite Clauses | method | View |
| comparesWith | Semantic Nets | method | View |
| comparesWith | First Order Logic | method | View |
| uses | Higher Order Prolog | method | View |