Higher Order Prolog
method
ID: higherorderprolog
Incoming Relationships
| Relationship | Source Entity | Type | Actions |
|---|---|---|---|
| uses | Higher Order Logic | method | View |
| Relationship | Source Entity | Type | Actions |
|---|---|---|---|
| uses | Higher Order Logic | method | View |